News for hackers. Stuff that matters.
Re:A Short Introduction to the Lambda Calculus (2004) [pdf] by jlarocco on Wednesday December 07, 2016 @12:59PM (#13124562)
The Greg Michaelson book is a really great intro, and he's made the postscript sources (without index) available on his website http://www.macs.hw.ac.uk/~greg/books/.

There are no comments on this comment yet.