Lecture Practical Class

Timetable for Hilary Term 2026 - 165-LTBR
  Monday Tuesday Wednesday Thursday Friday
9:00
Logic and Proof
9:00 - 10:00
Weeks 1-8
165-LTBR
        
10:00
Lambda Calculus and Types
10:00 - 11:00
Weeks 1-8
165-LTBR
  
Lambda Calculus and Types
10:00 - 11:00
Weeks 1-8
165-LTBR