Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Kavvos, G. A.
2019.
Modalities, cohesion, and information flow.
Proceedings of the ACM on Programming Languages,
Vol. 3,
Issue. POPL,
p.
1.
Gratzer, Daniel
Sterling, Jonathan
and
Birkedal, Lars
2019.
Implementing a modal dependent type theory.
Proceedings of the ACM on Programming Languages,
Vol. 3,
Issue. ICFP,
p.
1.
Pientka, Brigitte
and
Schöpp, Ulrich
2020.
Foundations of Software Science and Computation Structures.
Vol. 12077,
Issue. ,
p.
502.
Fiore, Marcelo P.
Pitts, Andrew M.
and
Steenkamp, S. C.
2020.
Foundations of Software Science and Computation Structures.
Vol. 12077,
Issue. ,
p.
257.
Pientka, Brigitte
2020.
Contextual Types, Explained.
p.
35.
Pitts, Andrew M.
2020.
Typal Heterogeneous Equality Types.
ACM Transactions on Computational Logic,
Vol. 21,
Issue. 3,
p.
1.
Gratzer, Daniel
Kavvos, G. A.
Nuyts, Andreas
and
Birkedal, Lars
2020.
Multimodal Dependent Type Theory.
p.
492.
Birkedal, Lars
Clouston, Ranald
Mannaa, Bassel
Ejlers Møgelberg, Rasmus
Pitts, Andrew M.
and
Spitters, Bas
2020.
Modal dependent type theory and dependent right adjoints.
Mathematical Structures in Computer Science,
Vol. 30,
Issue. 2,
p.
118.
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.
Bidlingmaier, Martin E.
Faissole, Florian
and
Spitters, Bas
2021.
Synthetic topology in Homotopy Type Theory for probabilistic programming.
Mathematical Structures in Computer Science,
Vol. 31,
Issue. 10,
p.
1301.
Isaev, Valery
2021.
Indexed type theories.
Mathematical Structures in Computer Science,
Vol. 31,
Issue. 1,
p.
3.
Hu, Jason Z. S.
Pientka, Brigitte
and
Schöpp, Ulrich
2022.
A Category Theoretic View of Contextual Types: From Simple Types to Dependent Types.
ACM Transactions on Computational Logic,
Vol. 23,
Issue. 4,
p.
1.
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.
Christensen, J. Daniel
and
Rijke, Egbert
2022.
Characterizations of modalities and lex modalities.
Journal of Pure and Applied Algebra,
Vol. 226,
Issue. 3,
p.
106848.
Roberts, David Michael
2023.
Substructural fixed-point theorems and the diagonal argument: theme and variations.
Compositionality,
Vol. 5,
Issue. ,
p.
8.
Annenkov, Danil
Capriotti, Paolo
Kraus, Nicolai
and
Sattler, Christian
2023.
Two-level type theory and applications.
Mathematical Structures in Computer Science,
Vol. 33,
Issue. 8,
p.
688.
HU, JASON Z. S.
JANG, JUNYOUNG
and
PIENTKA, BRIGITTE
2023.
Normalization by evaluation for modal dependent type theory.
Journal of Functional Programming,
Vol. 33,
Issue. ,
Uemura, Taichi
2023.
A general framework for the semantics of type theory.
Mathematical Structures in Computer Science,
Vol. 33,
Issue. 3,
p.
134.
Kudasov, Nikolai
Riehl, Emily
and
Weinberger, Jonathan
2024.
Formalizing the ∞-Categorical Yoneda Lemma.
p.
274.