[[!redirects $\pi_n(S^n)$ in Homotopy Type Theory]] _$\pi_n(S^n)$ in Homotopy Type Theory_, Dan Licata and Guillaume Brunerie, Invited Paper, CPP 2013 ## Links ## [http://dlicata.web.wesleyan.edu/pubs/lb13cpp/lb13cpp.pdf](http://dlicata.web.wesleyan.edu/pubs/lb13cpp/lb13cpp.pdf) category: reference