/cst-part-ii-types-cheat-sheet

A cheet sheet for all the typing rules covered in the CST Part II Types course

Primary LanguageTeXMIT LicenseMIT

CST Part II Types Cheat Sheet

A cheet sheet for all the typing rules covered in the Types course in Part II of the Cambridge Computer Science Tripos.

Topics included:

  1. Simply-Typed Lambda-Calculus
  2. Polymorphic Lambda-Calculus
  3. Monadic Lambda-Calculus