Martin-Löf's type theory

Redirect to:

  • Intuitionistic type theory