A Short Introduction to the Lambda Calculus (2004) [pdf]

Re:A Short Introduction to the Lambda Calculus (2004) [pdf] by arethuza on Wednesday December 07, 2016 @11:47AM (#13123895)

I had to vote this up as it referenced a work by Greg Michaelson who did a splendid job of teaching me about lambda calculus back in the 1980s and who really got my attention when he explained about S and K combinators.

Another excellent work from that same time is The Implementation of Functional Programming Languages by Simon Peyton Jones which is available online for free:

http://research.microsoft.com/en-us/um/people/simonpj/papers...

[Edit: I know this is an old work - but I'm very fond of it!]

[ Parent | on HN ]

Re:A Short Introduction to the Lambda Calculus (2004) [pdf] by futtetennista on Wednesday December 07, 2016 @02:16PM (#13125295)

Another (old) gem that I feel like suggesting to anyone interested in this topic is 'Introduction to Functional Programming' by Philip Wadler and Richard Bird, which is also available online for free:

https://usi-pl.github.io/lc/sp-2015/doc/Bird_Wadler.%20Intro...

[ Parent | on HN ]

Re:A Short Introduction to the Lambda Calculus (2004) [pdf] by iflowfor8hours on Wednesday December 07, 2016 @04:51PM (#13126585)

I have fond memories of playing Alligator Eggs

http://worrydream.com/AlligatorEggs/

With some of my older family members and a couple of mildly intoxicated friends who vaguely understood the theory. It's well worth playing with to learn the lambda calculus.

[ Parent | on HN ]

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/.

[ Parent | on HN ]