RSS BotMB to Lobste.rsEnglish · 1 day agoAn Adequate Left-Associated Binary Numeral System in the lambda-Calculuswww.brics.dkexternal-linkmessage-square0fedilinkarrow-up12arrow-down10file-text
arrow-up12arrow-down1external-linkAn Adequate Left-Associated Binary Numeral System in the lambda-Calculuswww.brics.dkRSS BotMB to Lobste.rsEnglish · 1 day agomessage-square0fedilinkfile-text
