bars
🗄️
math-debrief
search
circle-xmark
⌘
Ctrl
k
copy
Copy
chevron-down
Type theory
type-theories
Calculus of Constructions
chevron-right
Constructive type theory
chevron-right
ramified-type-theory
chevron-right
simple-type-theory
chevron-right
Substructural type systems
chevron-right
Previous
Variance
chevron-left
Next
Calculus of Constructions
chevron-right