G. A. Kavvos

28 papers A* 3B 3Journal 21Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Domain-Theoretic Semantics for Functional Logic Programming.
Proc. ACM Program. Lang.
Eddie Jones, Samson Main, Celia Mengyue Li, Jonathan Marriott, G. A. Kavvos
2025 J jnl
Adequacy for Algebraic Effects Revisited.
Proc. ACM Program. Lang.
G. A. Kavvos
2025 — conf
Noninterference Through Bisimulation.
TFP
April Tune, Wendy Yang, G. A. Kavvos
2024 J jnl
Two-dimensional Kripke Semantics I: Presheaves.
CoRR
G. A. Kavvos
2024 B conf
Two-dimensional Kripke Semantics II: Stability and Completeness.
MFPS
G. A. Kavvos
2023 J jnl
Under Lock and Key: a Proof System for a Multimodal Logic.
Bull. Symb. Log.
G. A. Kavvos, Daniel Gratzer
2022 B conf
Deeper Shallow Embeddings.
ITP
Jacob Prinz, G. A. Kavvos, Leonidas Lampropoulos
2022 J jnl
Modalities and Parametric Adjoints.
ACM Trans. Comput. Log.
Daniel Gratzer, Evan Cavallo, G. A. Kavvos, Adrien Guatto, Lars Birkedal
2022 A* conf
Syllepsis in Homotopy Type Theory.
LICS
Kristina Sojakova, G. A. Kavvos
2022 J jnl
Under Lock and Key: A Proof System for a Multimodal Logic.
CoRR
G. A. Kavvos, Daniel Gratzer
2021 J jnl
Client-server sessions in linear logic.
Proc. ACM Program. Lang.
Zesen Qian, G. A. Kavvos, Lars Birkedal
2021 J jnl
Intensionality, Intensional Recursion and the Gödel-Löb Axiom.
FLAP
G. A. Kavvos
2021 J jnl
Multimodal Dependent Type Theory.
Log. Methods Comput. Sci.
Daniel Gratzer, G. A. Kavvos, Andreas Nuyts, Lars Birkedal
2020 J jnl
Client-Server Sessions in Linear Logic.
CoRR
Zesen Qian, G. A. Kavvos, Lars Birkedal
2020 J jnl
Dual-Context Calculi for Modal Logic.
Log. Methods Comput. Sci.
G. A. Kavvos
2020 A* conf
Multimodal Dependent Type Theory.
LICS
Daniel Gratzer, G. A. Kavvos, Andreas Nuyts, Lars Birkedal
2020 J jnl
Multimodal Dependent Type Theory.
CoRR
Daniel Gratzer, G. A. Kavvos, Andreas Nuyts, Lars Birkedal
2020 J jnl
Recurrence extraction for functional programs through call-by-push-value.
Proc. ACM Program. Lang.
G. A. Kavvos, Edward Morehouse, Daniel R. Licata, Norman Danner
2019 J jnl
Modalities, cohesion, and information flow.
Proc. ACM Program. Lang.
G. A. Kavvos
2019 J jnl
Recurrence Extraction for Functional Programs through Call-by-Push-Value (Extended Version).
CoRR
G. A. Kavvos, Edward Morehouse, Daniel R. Licata, Norman Danner
2018 J jnl
Modalities, Cohesion, and Information Flow.
CoRR
G. A. Kavvos
2017 A* conf
Dual-context calculi for modal logic.
LICS
G. A. Kavvos
2017 J jnl
Intensionality, Intensional Recursion, and the Gödel-Löb axiom.
CoRR
G. A. Kavvos
2017 J jnl
On the Semantics of Intensionality and Intensional Recursion.
CoRR
G. A. Kavvos
2017 B conf
On the Semantics of Intensionality.
FoSSaCS
G. A. Kavvos
2016 J jnl
Dual-Context Calculi for Modal Logic.
CoRR
G. A. Kavvos
2016 J jnl
On the Semantics of Intensionality.
CoRR
G. A. Kavvos
2016 J jnl
The Many Worlds of Modal λ-calculi: I. Curry-Howard for Necessity, Possibility and Time.
CoRR
G. A. Kavvos