Homotopy Type Theory
Homotopy limits in type theory

Links

Homotopy limits in type theory. Jeremy Avigad, Chris Kapulkin, Peter LeFanu Lumsdaine, Math. Structures Comput. Sci. 25 (2015), no. 5, 1040?1070.

arXiv:1304.0680

category: reference

Last revised on October 14, 2018 at 12:59:58. See the history of this page for a list of all contributions to it.