| 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 | 100 | 2020 |
| Dual-context Calculi for Modal Logic GA Kavvos Logical Methods in Computer Science 16 (3), 2020 | 55 | 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 | 35* | 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 | 32 | 2019 |
| Modalities, cohesion, and information flow GA Kavvos Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019 | 30 | 2019 |
| The Many Worlds of Modal λ-calculi: I. Curry-Howard for Necessity, Possibility and Time GA Kavvos arXiv preprint arXiv:1605.08106, 2016 | 22 | 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 | 19 | 2022 |
| Syllepsis in homotopy type theory K Sojakova, GA Kavvos Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022 | 11 | 2022 |
| Intensionality, Intensional Recursion, and the Gödel-Löb axiom GA Kavvos Journal of Applied Logics — IfCoLog Journal of Logics and their …, 2021 | 10* | 2021 |
| 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 | 10 | 2017 |
| On the Semantics of Intensionality and Intensional Recursion GA Kavvos arXiv preprint arXiv:1712.09302, 2017 | 6 | 2017 |
| Deeper shallow embeddings J Prinz, GA Kavvos, L Lampropoulos International Conference on Interactive Theorem Proving, 2022 | 5 | 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 |
| A Quantum of Direction GA Kavvos | 2 | 2019 |
| 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 |
| Noninterference through Bisimulation A Tune, W Yang, GA Kavvos Trends in Functional Programming, 2025 | | 2025 |
| Errata for” Client-Server Sessions in Linear Logic” Z Qian, GA Kavvos, L Birkedal | | 2024 |
| Two-dimensional Kripke Semantics II: Stability and Completeness GA Kavvos Mathematical Foundations of Programming Semantics (MFPS XL), 2024 | | 2024 |
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
