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
15 weeks 23 hours ago
15 weeks 1 day ago
15 weeks 1 day ago
37 weeks 2 days ago
41 weeks 4 days ago
43 weeks 1 day ago
43 weeks 1 day ago
45 weeks 6 days ago
50 weeks 3 days ago
50 weeks 3 days ago