2 results
Homotopy limits in type theory
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 5 / June 2015
- Published online by Cambridge University Press:
- 19 January 2015, pp. 1040-1070
-
- Article
-
- You have access
- Export citation
Univalent categories and the Rezk completion
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 5 / June 2015
- Published online by Cambridge University Press:
- 19 January 2015, pp. 1010-1039
-
- Article
-
- You have access
- Export citation