Lambda Calculus

[Pierre de Lacaze]

Hi Folks,

For those of you curious about the mathematical foundations of Lisp (and Haskell for that matter) I came across these lecture notes while looking for some books on Calculus and Linear Algebra.

We had a wonderful presentation on Lambda Calculus at one of our LispNYC meetups back whewn they were hosted at the Meetup.com HQ in NY

Anyway, just wanted to share...

Cheers ands best regards to all from Paris,

Pierre de Lacaze (aka Ray)

r...@lispnyc.org

PS: Zoe or Arthur: Perhaps you could forward a link to the video on Lambda Calculus, I know it was recorded since I was running the video camera back then. 

[Kim-Ee Yeoh]

Hi Pierre,

Thanks for Selinger’s lecture notes. I noticed they have exercises. Maybe it would also be beneficial to suggest a group study to work on them together? “I read and I forget. But if I do then I understand and remember” to paraphrase that quote.

Kim Ee

--
To unsubscribe from this group and stop receiving emails from it, send an email to lisp+uns...@lispnyc.org.