Follow
Alex Kavvos
Alex Kavvos
Other namesG. 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
872020
Dual-context Calculi for Modal Logic
GA Kavvos
Logical Methods in Computer Science 16 (3), 2020
502020
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
272019
Modalities, cohesion, and information flow
GA Kavvos
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
272019
Client-server sessions in linear logic
Z Qian, GA Kavvos, L Birkedal
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-31, 2021
24*2021
The Many Worlds of Modal λ-calculi: I. Curry-Howard for Necessity, Possibility and Time
GA Kavvos
arXiv preprint arXiv:1605.08106, 2016
202016
Modalities and Parametric Adjoints
D Gratzer, E Cavallo, GA Kavvos, A Guatto, L Birkedal
ACM Transactions on Computational Logic 23 (3), 1-29, 2022
182022
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
Syllepsis in homotopy type theory
K Sojakova, GA Kavvos
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
82022
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
52017
Deeper shallow embeddings
J Prinz, GA Kavvos, L Lampropoulos
International Conference on Interactive Theorem Proving, 2022
32022
A Quantum of Direction
GA Kavvos
22019
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
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
The system can't perform the operation now. Try again later.
Articles 1–20