Welcome to the website of the Type Theory web site

A brief curriculum of the subject:
  1. Basic notions in type theory.
  2. Untyped language of numbers and Booleans, NBL.
  3. Untyped lambda calculus.
  4. Typed NBL.
  5. Simply typed lambda calculus.
  6. Derived terms.
  7. Product and sum types.
  8. Recursion and recursive types.
  9. Referential types.
  10. Exceptions.
  11. Subtypes.
  12. Polymorphic types.

News cms