Daniel Licata

*Homotopy theory in type theory*, 2013 (pdf slides)

On basic homotopy theory in terms of homotopy type theory

category: people

Last revised on November 2, 2014 at 17:16:45. See the history of this page for a list of all contributions to it.