Homotopy Type Theory
type theory

List of examples

This page lists some of the type theories and variations that have been used or proposed for doing homotopy type theory.

See also

Type theory’ on the nLab wiki.

category: type theory