| Multimodal Dependent Type Theory D Gratzer, GA Kavvos, A Nuyts, L Birkedal LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in …, 2020 | 92 | 2020 |
| Dual-context Calculi for Modal Logic GA Kavvos Logical Methods in Computer Science 16 (3), 2020 | 52 | 2020 |
| Client-server sessions in linear logic Z Qian, GA Kavvos, L Birkedal Proceedings of the ACM on Programming Languages 5 (ICFP), 1-31, 2021 | 32* | 2021 |
| Recurrence extraction for functional programs through call-by-push-value GA Kavvos, E Morehouse, DR Licata, N Danner Proceedings of the ACM on Programming Languages 4 (POPL), 1-31, 2019 | 28 | 2019 |
| Modalities, cohesion, and information flow GA Kavvos Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019 | 27 | 2019 |
| The Many Worlds of Modal λ-calculi: I. Curry-Howard for Necessity, Possibility and Time GA Kavvos arXiv preprint arXiv:1605.08106, 2016 | 21 | 2016 |
| Modalities and Parametric Adjoints D Gratzer, E Cavallo, GA Kavvos, A Guatto, L Birkedal ACM Transactions on Computational Logic 23 (3), 1-29, 2022 | 18 | 2022 |
| Syllepsis in homotopy type theory K Sojakova, GA Kavvos Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022 | 10 | 2022 |
| Type theory à la mode D Gratzer, GA Kavvos, A Nuyts, L Birkedal Aarhus University, 2020 | 10 | 2020 |
| On the Semantics of Intensionality GA Kavvos Foundations of Software Science and Computation Structures (FoSSaCS 2017 …, 2017 | 9 | 2017 |
| Intensionality, Intensional Recursion, and the Gödel-Löb axiom GA Kavvos Journal of Applied Logics — IfCoLog Journal of Logics and their …, 2021 | 8* | 2021 |
| On the Semantics of Intensionality and Intensional Recursion GA Kavvos arXiv preprint arXiv:1712.09302, 2017 | 5 | 2017 |
| Deeper shallow embeddings J Prinz, GA Kavvos, L Lampropoulos International Conference on Interactive Theorem Proving, 2022 | 4 | 2022 |
| Under Lock and Key: A Proof System for a Multimodal Logic GA Kavvos, D Gratzer The Bulletin of Symbolic Logic 29 (2), 264-293, 2023 | 2 | 2023 |
| Dual-context calculi for modal logic GA Kavvos 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017 | 2* | 2017 |
| Dual-context calculi for modal logic (technical report) GA Kavvos Technical report, University of Oxford, 2017c. URL http://www. lambdabetaeta …, 2017 | 2 | 2017 |
| A Quantum of Direction GA Kavvos | 1 | 2019 |
| Two-dimensional Kripke Semantics I: Presheaves GA Kavvos arXiv preprint arXiv:2405.04157, 2024 | | 2024 |
| Two-dimensional Kripke Semantics II: Stability and Completeness GA Kavvos | | 2024 |
| Multimodal Dependent Type Theory D Gratzer, GA Kavvos, A Nuyts, L Birkedal Logical Methods in Computer Science 17 (3), 2021 | | 2021 |
Lars BirkedalDept. of Computer Science, Aarhus University在 cs.au.dk 的电子邮件经过验证
