CS 641 unit -*- Outline -*-

	meeting 1
* lattices

* fixpoints

* syntax

* recursion

* syntactic-algebra

* semantic-hom