#
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.