nLab
Daniel Licata

writings

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

On basic homotopy theory in terms of homotopy type theory

category: people

Revised on November 2, 2014 17:16:45 by Urs Schreiber (185.26.182.38)