URL details: dkeenan.com/Lambda/#Barendregt
URL title:
To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction
URL paragraphs:
David C Keenan, 27-Aug-1996 last updated 1-Apr-2014 116 Bowman Parade, Bardon QLD 4065, Australia http://dkeenan.com The lambda calculus, and the closely related theory of combinators, are important in the foundations of mathematics, logic and computer sci
URL last crawled:
2023-01-09
URL speed:
0.122 MB/s,
downloaded in 0.500 seconds
We found no external links pointing to this url.