Introduction to Lambda Calculus

Instructor: Michael Winter, Office J323, Office Hours: Tue 1:00pm-3:00pm & Wed, 9:00am - 11:00am, email:

Course Overview
Course Outline
Course Procedure
  • Tue & Thu, 8:00am-9:30am, Winter 2015
  • Room: TH244
Important Dates
Course Material

Term Test 1 (30 min): January 29, 2015 (in class)

Term Test 2 (30 min): March 05, 2015 (in class)

Term Test 3 (30 min): March 26, 2015 (in class)

Final exam (oral, 45 min): Wednesday, April 08, 2015, Schedule

All Computer Science courses are subject to the rules and regulations of the University (as described in the graduate calendar ), the Faculty of Mathematics & Sciences and the policies of the Department of Computer Science.

COSC Home Page

© M. Winter, 2015