COSC 5P05 Introduction to Lambda Calculus

	COSC 5P05 Introduction to Lambda Calculus

Instructor: Michael Winter, Office J323, Office Hours: Wed & Fri, 10:00am - noon, email: mwinter@brocku.ca

Course Overview	Lectures
Course Outline Course Procedure	Wed & Fri, 8:00am-9:30am, Winter 2012 Room: TH245
Important Dates	Course Material
Term Test 1 (30 min): February 01, 2012 (in class) Term Test 2 (30 min): March 07, 2012 (in class) Term Test 3 (30 min): March 28, 2012 (in class) Final exam (oral, 45 min):Tuesday, April 10, 2012, Schedule	The main text book: Categories, Types, and Structures Additional Material on the lambda calculus: Lambda Calculus H. Barendregt: Lambda Calculi with Types Term Test 1 - 2009 Term Test 2 - 2009 Term Test 3 - 2009 Agda Examples

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