Typed lambda calculus
article-link
What links here
Intuitionistic type theory
Constructive proof
article-link
List of mathematical logic topics
article-link
Curry–Howard correspondence
article-link
History of topos theory
article-link
Type
article-link
Institute for Advanced Study
article-link
Proof theory
article-link
Foundations of mathematics
article-link
Intuitionistic logic
article-link
Truth value
article-link
Speech act
article-link
Type theory
article-link
Intuitionism
article-link
Functional programming
article-link