CS 641 Lecture -*- Outline -*- for denotational-semantics

	lecture 1,2
* oper-sem

	lecture 2-3
* cpos

	lecture 4,5,6
* pcf

	lecture 6
* full-abstr