English Intuitionistic type theory Cited by user Durbatuluk1701 on 02 Feb 2024 Intuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics.