Hacker News
- Binary Lambda Calculus (2020) https://tromp.github.io/cl/Binary_lambda_calculus.html 14 comments
- Binary Lambda Calculus (2012) https://www.ioccc.org/2012/tromp/hint.html 12 comments
- Binary Lambda Calculus https://tromp.github.io/cl/Binary_lambda_calculus.html 3 comments functionalprogramming
- Binary Lambda Calculus and Combinatory Logic (pdf) http://homepages.cwi.nl/~tromp/cl/lc.pdf 5 comments math
- This week Lisp NYC will be live streaming John Tromp's discussion of the binary lambda calculus: "the smallest program language" https://www.meetup.com/lispnyc/events/290789901/ 7 comments programming
- Binary Lambda Calculus and Combinatory Logic | What is the smalled turing machine that could be built? http://lambda-the-ultimate.org/node/2458 2 comments programming