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:52:48. See the history of this page for a list of all contributions to it.