CS 641 Lecture -*- Outline -*- for typed-lambda-calculus

	lecture 1,2
* the-simply-typed-calculus

	lecture 3
** set-function-models

	lecture 4,5
** type-frames

	lecture 5
** partial-homs

	lecture 6
* cccs