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 29, 2022 at 14:18:52 by Anonymous?. See the history of this page for a list of all contributions to it.