Franklin's Notes
List of type-theory notes:
Logic and type theory
Product type
Families and dependent types
Dependent pair type
Universes of types
Type theory
Type family
Dependent function type
Function type
back to home page