Author:
van den Berg Benno,Moerdijk Ieke
Publisher
Springer Science and Business Media LLC
Reference12 articles.
1. van den Berg, B., Moerdijk, I.: W-types in homotopy type theory. Math. Struct. Comput. Sci. 25(5), 1100–1115 (2015)
2. Cisinski, D.-C.: Univalent universes for elegant models of homotopy types (2014).
arXiv:1406.0058
3. Gabriel, P., Zisman, M.: Calculus of Fractions and Homotopy Theory. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 35. Springer-Verlag New York, Inc., New York (1967)
4. Gepner, D., Kock, J.: Univalence in locally cartesian closed
$$\infty $$
∞
-categories. Forum Math. 29(3), 617–652 (2017)
5. Grandis, M.: Finite sets and symmetric simplicial sets. Theory Appl. Categ. 8, 244–252 (2001)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献