Homotopy type theory is a dependent type theory where every type is a homotopy type, or equivalently where every type has an identity type between any two terms of the type.
Revision on April 14, 2022 at 07:59:02 by Anonymous?. See the history of this page for a list of all contributions to it.