Homotopy Type Theory
Homotopy limits in type theory


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


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.