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.

Revision on May 9, 2014 at 22:04:43 by Alexis Hazell?. See the history of this page for a list of all contributions to it.