Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Awodey, Steve
2019.
Mathesis Universalis, Computability and Proof.
Vol. 412,
Issue. ,
p.
13.
Arkor, Nathanael
and
Fiore, Marcelo
2020.
Algebraic models of simple type theories.
p.
88.
Sattler, Christian
and
Vezzosi, Andrea
2020.
Partial Univalence in n-truncated Type Theory.
p.
807.
Gratzer, Daniel
Kavvos, G. A.
Nuyts, Andreas
and
Birkedal, Lars
2020.
Multimodal Dependent Type Theory.
p.
492.
Sterling, Jonathan
and
Angiuli, Carlo
2021.
Normalization for Cubical Type Theory.
p.
1.
Horvath, Denis
Tomkova, Silvia
and
Huntosova, Veronika
2021.
Selection of Unique Molecules for Cancer Treatment by Distance-Based Method: Hypericin Effect on Respiratory Chain.
Biophysica,
Vol. 1,
Issue. 2,
p.
222.
Kraus, Nicolai
2021.
Internal ∞-Categorical Models of Dependent Type Theory : Towards 2LTT Eating HoTT.
p.
1.
Ahrens, Benedikt
Frumin, Dan
Maggesi, Marco
Veltri, Niccolò
and
van der Weide, Niels
2021.
Bicategories in univalent foundations.
Mathematical Structures in Computer Science,
Vol. 31,
Issue. 10,
p.
1232.
Williams, Christian
and
Stay, Michael
2022.
Native Type Theory.
Electronic Proceedings in Theoretical Computer Science,
Vol. 372,
Issue. ,
p.
116.
Gratzer, Daniel
2022.
Normalization for Multimodal Type Theory.
p.
1.
Gratzer, Daniel
Cavallo, Evan
Kavvos, G. A.
Guatto, Adrien
and
Birkedal, Lars
2022.
Modalities and Parametric Adjoints.
ACM Transactions on Computational Logic,
Vol. 23,
Issue. 3,
p.
1.
Hou (Favonia), Kuen-Bang
Angiuli, Carlo
and
Mullanix, Reed
2023.
An Order-Theoretic Analysis of Universe Polymorphism.
Proceedings of the ACM on Programming Languages,
Vol. 7,
Issue. POPL,
p.
1659.
Uemura, Taichi
2023.
A general framework for the semantics of type theory.
Mathematical Structures in Computer Science,
Vol. 33,
Issue. 3,
p.
134.
Riehl, Emily
2024.
On the ∞$\infty$‐topos semantics of homotopy type theory.
Bulletin of the London Mathematical Society,
Vol. 56,
Issue. 2,
p.
461.
Awodey, Steve
Gambino, Nicola
and
Hazratpour, Sina
2024.
Kripke-Joyal forcing for type theory and uniform fibrations.
Selecta Mathematica,
Vol. 30,
Issue. 4,
Gratzer, Daniel
Gylterud, Håkon Robbestad
Mörtberg, Anders
and
Stenholm, Elisabeth
2024.
The category of iterative sets in homotopy type theory and univalent foundations.
Mathematical Structures in Computer Science,
Vol. 34,
Issue. 9,
p.
945.
Anel, Mathieu
2025.
The category of π-finite spaces.
Journal of Pure and Applied Algebra,
Vol. 229,
Issue. 6,
p.
107925.
Wu, Shouxuan
Wang, Guoxin
Lu, Jinzhi
Yan, Yan
Gong, Yihui
Dong, Mengru
and
Kiritsis, Dimitris
2025.
Digital thread in engineering: Concept, state of art, and enabling framework.
Advanced Engineering Informatics,
Vol. 65,
Issue. ,
p.
103258.
Ahrens, Benedikt
North, Paige
Shulman, Michael
and
Tsementzis, Dimitris
2025.
The Univalence Principle.
Memoirs of the American Mathematical Society,
Vol. 305,
Issue. 1541,
Ahrens, Benedikt
Lumsdaine, Peter LeFanu
and
North, Paige Randall
2025.
Programming Languages and Systems.
Vol. 15194,
Issue. ,
p.
3.