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 tankenmate on Tuesday August 18, 2020 @05:43AM (#24196830)
Have you looked at the similarity Church numerals and Peano axioms? [0]

[0] https://en.wikipedia.org/wiki/Peano_axioms

[ Parent | on HN ]

There are no comments on this comment yet.