News for hackers. Stuff that matters.

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

Re:A circuit-like notation for lambda calculus (2015) by louthy on Monday August 17, 2020 @09:31PM (#24194397)
Also good: To Dissect a Mockingbird [1]

1. http://dkeenan.com/Lambda/

[ Parent | on HN ]

There are no comments on this comment yet.