4 ms·
A relevant read is To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction at http://dkeenan.com/Lambda/index.htm http://
by csl 14y ago
A relevant read is To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction at http://dkeenan.com/Lambda/index.htm http://dkeenan.com/Lambda/index.htm
- sabalaba 14y agoAnother good read is An Introduction to Functional Programming Through Lambda Calculus, http://www.macs.hw.ac.uk/~greg/books/ http://www.macs.hw.ac.uk/~greg/books/