homotopy type theory

homotopy type

univalence, function extensionality, internal logic of an (∞,1)-topos

cohesive homotopy type theory

directed homotopy type theory

HoTT methods for homotopy theorists

Created on November 1, 2012 at 14:58:45. See the history of this page for a list of all contributions to it.