Martin-Löf Type Theory

Redirect to:

• Intuitionistic type theory