News for hackers. Stuff that matters.

A comment on A circuit-like notation for lambda calculus (2015). Parent comment

Re:A circuit-like notation for lambda calculus (2015) by 082349872349872 on Tuesday August 18, 2020 @12:48AM (#24195366)
https://gallica.bnf.fr/ark:/12148/bpt6k65658c.texteImage
[ Parent | on HN ]

There are no comments on this comment yet.