Homotopy Type Theory Martin-Loef type theory > history (Rev #3, changes)

Showing changes from revision #2 to #3: Added | ~~Removed~~ | ~~Chan~~ged

~~Definition~~
~~A Martin-Loef type theory is a homotopy type theory with all W-types?.~~
~~See also~~

homotopy type theory

cubical type theory?

higher observational type theory

univalent Martin-Loef type theory

extensional Martin-Loef type theory?

~~References~~

~~Univalent Foundations Project, Homotopy Type Theory – Univalent Foundations of Mathematics (2013)~~

Revision on June 6, 2022 at 21:32:34 by Anonymous?. See the history of this page for a list of all contributions to it.