Course work: CPSC 613: Proof theory and program transformation

Course notes for Type Theory

• Postscript (Note that there are no citations in the notes - material is primarily from in-class work and the text, Algebra of Programming by Richard Bird and Oege de Moor.)
• Latex Source.(Note this makes extensive use of my macros, it is for illustrative purposes only.)
• Math oriented macros used. (most of them:)
• Literate programming macros used. (most of them:)

Last modified by Brett Giles
Last modified: Mon Aug 27 20:35:26 MDT 2007