Homotopy Type Theory type theory > history (Rev #2)

A type theory is a formal system in which every term has a ‘type’, and operations in the system are restricted to acting on specific types.

A number of type theories have been used or proposed for doing homotopy type theory.

See also

Type theory’ on the nLab wiki.

Revision on May 14, 2014 at 00:37:50 by Alexis Hazell?. See the history of this page for a list of all contributions to it.