Follow
G. A. Kavvos
G. A. Kavvos
School of Computer Science, University of Bristol
Verified email at bristol.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
822020
Dual-context Calculi for Modal Logic
GA Kavvos
Logical Methods in Computer Science 16 (3), 2020
492020
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
262019
Modalities, cohesion, and information flow
GA Kavvos
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
262019
Client-server sessions in linear logic
Z Qian, GA Kavvos, L Birkedal
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-31, 2021
22*2021
The Many Worlds of Modal λ-calculi: I. Curry-Howard for Necessity, Possibility and Time
GA Kavvos
arXiv preprint arXiv:1605.08106, 2016
192016
Modalities and Parametric Adjoints
D Gratzer, E Cavallo, GA Kavvos, A Guatto, L Birkedal
ACM Transactions on Computational Logic 23 (3), 1-29, 2022
172022
Type theory ŕ la mode
D Gratzer, GA Kavvos, A Nuyts, L Birkedal
Aarhus University, 2020
92020
On the Semantics of Intensionality
GA Kavvos
Foundations of Software Science and Computation Structures (FoSSaCS 2017 …, 2017
92017
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
Syllepsis in homotopy type theory
K Sojakova, GA Kavvos
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
72022
On the Semantics of Intensionality and Intensional Recursion
GA Kavvos
arXiv preprint arXiv:1712.09302, 2017
52017
Deeper shallow embeddings
J Prinz, GA Kavvos, L Lampropoulos
International Conference on Interactive Theorem Proving, 2022
32022
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
22017
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
12023
A Quantum of Direction
GA Kavvos
12019
Two-dimensional Kripke Semantics
GA Kavvos
2024
Multimodal Dependent Type Theory
D Gratzer, GA Kavvos, A Nuyts, L Birkedal
Logical Methods in Computer Science 17 (3), 2021
2021
A Double-Categorical Perspective on Type Universes
E Morehouse, GA Kavvos, DR Licata
TYPES 2019, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20