Showing changes from revision #2 to #3:
Added | Removed | Changed
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.
This page lists some of the type theories and variations that have been used or proposed for doing homotopy type theory.
‘Type theory’ on the nLab wiki.
Revision on September 3, 2018 at 09:46:50 by Ali Caglayan. See the history of this page for a list of all contributions to it.