User loginNavigation |
Lambda 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. |
Browse archives
Active forum topics |
Recent comments
17 weeks 6 days ago
17 weeks 6 days ago
17 weeks 6 days ago
40 weeks 1 day ago
44 weeks 3 days ago
46 weeks 6 hours ago
46 weeks 6 hours ago
48 weeks 5 days ago
1 year 1 week ago
1 year 1 week ago