nLab
Daniel Licata

writings

  • 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.