Comment by uncomputation
3 years ago
Anyone interested in BLC can find another introduction which I found personally helpful here: https://tromp.github.io/cl/Binary_lambda_calculus.html
3 years ago
Anyone interested in BLC can find another introduction which I found personally helpful here: https://tromp.github.io/cl/Binary_lambda_calculus.html
Indeed; that's one of the 3 references listed at the bottom of the article:
> See Also
> https://tromp.github.io/cl/Binary_lambda_calculus.html
> https://www.ioccc.org/2012/tromp/hint.html
> https://github.com/tromp/AIT