a thoughtful web.
Good ideas and conversation. No ads, no tracking.   Login or Take a Tour!
comment by rob05c
rob05c  ·  3463 days ago  ·  link  ·    ·  parent  ·  post: Dear Hubski, what do you want to learn?

Tai chi

Violin

German

Lambda calculus

Emacs wizardry

Drawing, webcomic-style





cpm  ·  3463 days ago  ·  link  ·  

The best introduction to the lambda calculus that I have read to date is in Benjamin Pierce's Types and Programming Languages (Amazon). The entire book is really good, but the section on the lambda calculus finally helped me really understand it.

rob05c  ·  3462 days ago  ·  link  ·  

Thanks! I bought Barendregt's The Lambda Calculus, but I haven't had time to read it. It's very dense. I do want to learn more about Type Theory, too.