A cheet sheet for all the typing rules covered in the Types course in Part II of the Cambridge Computer Science Tripos.
Topics included:
- Simply-Typed Lambda-Calculus
- Polymorphic Lambda-Calculus
- Monadic Lambda-Calculus
A cheet sheet for all the typing rules covered in the CST Part II Types course
TeXMIT