Author:
Kapulkin Krzysztof,Li Yufeng
Reference11 articles.
1. Homotopy limits in type theory;Jeremy Avigad;Math. Structures Comput. Sci,2015
2. Abstract Homotopy Theory and Generalized Sheaf Cohomology;Kenneth S Brown;Trans. Amer. Math. Soc,1973
3. Homotopy limit functors on model categories and homotopical categories;G William,2004
4. Two-dimensional models of type theory;Richard Garner;Math. Structures Comput. Sci,2009