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

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

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