User loginNavigation 
Lambda calculusI have written a small introduction to untyped lambda calculus. The article contains nothing new, but it has been written to be easy to understand. The article is not only elementary. It contains all essential results of untyped lambda calculus like the Church Rosser theorem and some undecidability theorems. I have tried to use graphic notations to make the content more digestible and closer to intuition. I am especially proud of the proof of the Church Rosser theorem which (hopefully) is more understandable in this article than in many other presentations I have read so far. By hbrandl at 20180809 16:52  LtU Forum  previous forum topic  next forum topic  other blogs  2566 reads

Browse archives
Active forum topics 
Recent comments
7 weeks 2 days ago
7 weeks 2 days ago
7 weeks 2 days ago
29 weeks 3 days ago
33 weeks 5 days ago
35 weeks 2 days ago
35 weeks 2 days ago
38 weeks 20 hours ago
42 weeks 5 days ago
42 weeks 5 days ago