Explore relationships

Intuitionistic type theory

Intuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory (MLTT)) is a type theory and an alternative foundation of mathematics.

Use + to expand a branch. Click a topic name to open its summary.