Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Kraus, Nicolai
2016.
Constructions with Non-Recursive Higher Inductive Types.
p.
595.
Szumiło, Karol
2017.
Frames in cofibration categories.
Journal of Homotopy and Related Structures,
Vol. 12,
Issue. 3,
p.
577.
Kapulkin, Krzysztof
2017.
Locally cartesian closed quasi‐categories from type theory.
Journal of Topology,
Vol. 10,
Issue. 4,
p.
1029.
Kapulkin, Krzysztof
and
Szumiło, Karol
2017.
Quasicategories of Frames of Cofibration Categories.
Applied Categorical Structures,
Vol. 25,
Issue. 3,
p.
323.
Kapulkin, Krzysztof
and
Lumsdaine, Peter LeFanu
2018.
The homotopy theory of type theories.
Advances in Mathematics,
Vol. 337,
Issue. ,
p.
1.
Berg, Benno Van Den
2018.
Path Categories and Propositional Identity Types.
ACM Transactions on Computational Logic,
Vol. 19,
Issue. 2,
p.
1.
ISAEV, VALERY
2018.
Model structures on categories of models of type theories.
Mathematical Structures in Computer Science,
Vol. 28,
Issue. 10,
p.
1695.
van den Berg, Benno
and
Moerdijk, Ieke
2018.
Exact completion of path categories and algebraic set theory.
Journal of Pure and Applied Algebra,
Vol. 222,
Issue. 10,
p.
3137.
Kapulkin, Krzysztof
and
Szumiło, Karol
2019.
Internal languages of finitely complete
$$(\infty , 1)$$
(
∞
,
1
)
-categories.
Selecta Mathematica,
Vol. 25,
Issue. 2,
Scoccola, Luis
2020.
Nilpotent types and fracture squares in homotopy type theory.
Mathematical Structures in Computer Science,
Vol. 30,
Issue. 5,
p.
511.
Coquand, Thierry
Ruch, Fabian
and
Sattler, Christian
2021.
Constructive sheaf models of type theory.
Mathematical Structures in Computer Science,
Vol. 31,
Issue. 9,
p.
979.
Luo, Shan
Zhao, Yuwei
Xiao, Yong
Lin, Rongping
and
Yan, Yao
2021.
A Temporal-Spatial Spectrum Prediction Using the Concept of Homotopy Theory for UAV Communications.
IEEE Transactions on Vehicular Technology,
Vol. 70,
Issue. 4,
p.
3314.
Isaev, Valery
2021.
Indexed type theories.
Mathematical Structures in Computer Science,
Vol. 31,
Issue. 1,
p.
3.
Kapulkin, Krzysztof
and
Lumsdaine, Peter LeFanu
2021.
Homotopical inverse diagrams in categories with attributes.
Journal of Pure and Applied Algebra,
Vol. 225,
Issue. 4,
p.
106563.
Carranza, Daniel
and
Kapulkin, Krzysztof
2023.
Homotopy groups of cubical sets.
Expositiones Mathematicae,
Vol. 41,
Issue. 4,
p.
125518.
Carranza, Daniel
Doherty, Brandon
Kapulkin, Krzysztof
Opie, Morgan
Sarazola, Maru
and
Wong, Liang Ze
2024.
Cofibration category of digraphs for path homology.
Algebraic Combinatorics,
Vol. 7,
Issue. 2,
p.
475.
Avigad, Jeremy
2024.
Automated Reasoning.
Vol. 14739,
Issue. ,
p.
3.