Fibred category
article-link
What links here
Dependent type
Twelf
article-link
Simply typed lambda calculus
article-link
Epigram (programming language)
article-link
X10 (programming language)
article-link
Per Martin-Löf
article-link
Dependency
article-link
Corecursion
article-link
Proof assistant
article-link
Aldor
article-link
Lambda cube
article-link
Calculus of constructions
article-link
Type safety
article-link
Rocq
article-link
Higher-order logic
article-link
Metaprogramming
article-link
Universe (mathematics)
article-link
Fiber bundle
article-link
Curry–Howard correspondence
article-link
Cartesian closed category
article-link
Type system
article-link
Type theory
article-link
Turing completeness
article-link
Groupoid
article-link
Functional programming
article-link
Dimensional analysis
article-link
Dependent types
redirect