User loginNavigation 
Programming 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 addon, I show how to systematically construct algebraic datatypes in lambda calculus. Comments, hints etc. are welcome. By hbrandl at 20200626 18:18  LtU Forum  previous forum topic  next forum topic  other blogs  2514 reads

Browse archivesActive forum topics 
Recent comments
5 days 21 hours ago
5 days 22 hours ago
6 days 22 hours ago
1 week 10 hours ago
1 week 15 hours ago
1 week 15 hours ago
1 week 15 hours ago
1 week 19 hours ago
1 week 19 hours ago
1 week 19 hours ago