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

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

~~Definition~~

~~A univalent Martin-Loef type theory is a Martin-Loef type theory that is also a univalent type theory.~~
~~See also~~

Martin-Loef type theory

univalent type theory

book homotopy type theory

~~References~~

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

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