User loginNavigation |
archivesLambda Calculus course (Oxford)A sixteen-hour lecture course aimed at final-year computer science undergraduates and MSc students. The course notes are detailed and include things like call-by-value LC, Boehm Theorem, and several interesting mini-projects for students. By Ehud Lamm at 2006-03-19 13:13 | Lambda Calculus | login or register to post comments | other blogs | 7987 reads
|
Browse archivesActive forum topics |
Recent comments
6 days 20 hours ago
1 week 45 min ago
1 week 52 min ago
23 weeks 1 day ago
27 weeks 3 days ago
29 weeks 8 hours ago
29 weeks 8 hours ago
31 weeks 5 days ago
36 weeks 2 days ago
36 weeks 2 days ago