intuitionistic type theory
Sign in to saveAlso known as Martin-Löf type theory
alternative foundation of mathematics
In the Vinony graph
Within Vinony's link graph, intuitionistic type theory is referenced by 211 other articles, and connects out to first-order logic, three-state logic and dependent type.
It sits within the topics Constructivism (philosophy of mathematics), Dependently typed programming and Foundations of mathematics.
Its subject is documented across 9 Wikipedia language editions.
Connections
first-order logic
Entity
three-state logic
Entity
dependent type
Entity
homotopy type theory
Entity
impredicativity
Entity
intension and extension
Entity
Sweden
Country
philosophy
Entity
Bertrand Russell
Entity
International Standard Book Number
Entity
programming language
Entity
natural number
Entity
integer
Entity
set theory
Entity
real number
Entity
rational number
Entity
mathematician
Entity
set
Entity
mathematical proof
Entity
point
Entity