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 dvt on Monday August 17, 2020 @07:53PM (#24193679)
Yep, it's incredibly ahead of its time (written in the late 1800s)! Had to read parts of it for a course on (you guessed it) Lambda Calculus :)
[ Parent | on HN ]

There are no comments on this comment yet.