User loginNavigation |
archivesProgramming in Lambda CalculusMany texts on untyped lambda calculus are heavily loaded with math. I have tried a different approach to look at lambda calculus from a programming point of view. The results are posted in a little paper on this website. As a special add-on, I show how to systematically construct algebraic datatypes in lambda calculus. Comments, hints etc. are welcome. |
Browse archivesActive forum topics |
Recent comments
6 days 3 hours ago
6 days 6 hours ago
6 days 7 hours ago
23 weeks 11 hours ago
27 weeks 2 days ago
28 weeks 6 days ago
28 weeks 6 days ago
31 weeks 4 days ago
36 weeks 1 day ago
36 weeks 1 day ago