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

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  ·  3402 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.