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.
Kapulkin, Krzysztof
2017.
Locally cartesian closed quasi‐categories from type theory.
Journal of Topology,
Vol. 10,
Issue. 4,
p.
1029.
Szumiło, Karol
2017.
Frames in cofibration categories.
Journal of Homotopy and Related Structures,
Vol. 12,
Issue. 3,
p.
577.
Kapulkin, Krzysztof
and
Szumiło, Karol
2017.
Quasicategories of Frames of Cofibration Categories.
Applied Categorical Structures,
Vol. 25,
Issue. 3,
p.
323.
Berg, Benno Van Den
2018.
Path Categories and Propositional Identity Types.
ACM Transactions on Computational Logic,
Vol. 19,
Issue. 2,
p.
1.
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
Lumsdaine, Peter LeFanu
2018.
The homotopy theory of type theories.
Advances in Mathematics,
Vol. 337,
Issue. ,
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.
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.
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.
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.
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.
Isaev, Valery
2021.
Indexed type theories.
Mathematical Structures in Computer Science,
Vol. 31,
Issue. 1,
p.
3.
Carranza, Daniel
and
Kapulkin, Krzysztof
2023.
Homotopy groups of cubical sets.
Expositiones Mathematicae,
Vol. 41,
Issue. 4,
p.
125518.