# type-theories

- [Calculus of Constructions](/math-debrief/350-type-theory/type-theories/calculus-of-constructions.md)
- [Constructive type theory](/math-debrief/350-type-theory/type-theories/constructive-type-theory.md)
- [ramified-type-theory](/math-debrief/350-type-theory/type-theories/ramified-type-theory.md)
- [simple-type-theory](/math-debrief/350-type-theory/type-theories/simple-type-theory.md)
- [Substructural type systems](/math-debrief/350-type-theory/type-theories/substructural-type-system.md)
