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
8 hours 42 min ago
8 hours 44 min ago
9 hours 12 min ago
16 hours 28 min ago
16 hours 30 min ago
17 hours 2 min ago
1 day 3 hours ago
1 day 4 hours ago
1 day 8 hours ago
1 day 9 hours ago