Lambda Calculus and Types: 2024-2025
Timetables
Lecturer | |
Term | Hilary Term 2025 (16 lectures) |
Lectures | Hilary Term 2025Monday, 14:00 - 15:00 ( Weeks 1-8 ) BR-LT Friday, 14:00 - 15:00 ( Weeks 1-8 ) BR-LT |
Lecturer | |
Term | Hilary Term 2025 (16 lectures) |
Lectures | Hilary Term 2025Monday, 14:00 - 15:00 ( Weeks 1-8 ) BR-LT Friday, 14:00 - 15:00 ( Weeks 1-8 ) BR-LT |