G. A. Kavvos

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 25

Top Topics

Functional Programs

Sequent Calculi

Prime Implicates

Top Venues

Proc. ACM Program. Lang.

Log. Methods Comput. Sci.

Publications

G. A. Kavvos
Two-dimensional Kripke Semantics II: Stability and Completeness. CoRR (2024)
G. A. Kavvos
Two-dimensional Kripke Semantics I: Presheaves. CoRR (2024)
G. A. Kavvos, Daniel Gratzer
Under Lock and Key: a Proof System for a Multimodal Logic. Bull. Symb. Log. 29 (2) (2023)
Jacob Prinz, G. A. Kavvos, Leonidas Lampropoulos
Deeper Shallow Embeddings. ITP (2022)
G. A. Kavvos, Daniel Gratzer
Under Lock and Key: A Proof System for a Multimodal Logic. CoRR (2022)
Kristina Sojakova, G. A. Kavvos
Syllepsis in Homotopy Type Theory. LICS (2022)
Daniel Gratzer, Evan Cavallo, G. A. Kavvos, Adrien Guatto, Lars Birkedal
Modalities and Parametric Adjoints. ACM Trans. Comput. Log. 23 (3) (2022)
G. A. Kavvos
Intensionality, Intensional Recursion and the Gödel-Löb Axiom. FLAP 8 (8) (2021)
Zesen Qian, G. A. Kavvos, Lars Birkedal
Client-server sessions in linear logic. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Daniel Gratzer, G. A. Kavvos, Andreas Nuyts, Lars Birkedal
Multimodal Dependent Type Theory. Log. Methods Comput. Sci. 17 (3) (2021)
Daniel Gratzer, G. A. Kavvos, Andreas Nuyts, Lars Birkedal
Multimodal Dependent Type Theory. LICS (2020)
G. A. Kavvos
Dual-Context Calculi for Modal Logic. Log. Methods Comput. Sci. 16 (3) (2020)
G. A. Kavvos, Edward Morehouse, Daniel R. Licata, Norman Danner
Recurrence extraction for functional programs through call-by-push-value. Proc. ACM Program. Lang. 4 (POPL) (2020)
Daniel Gratzer, G. A. Kavvos, Andreas Nuyts, Lars Birkedal
Multimodal Dependent Type Theory. CoRR (2020)
Zesen Qian, G. A. Kavvos, Lars Birkedal
Client-Server Sessions in Linear Logic. CoRR (2020)
G. A. Kavvos
Modalities, cohesion, and information flow. Proc. ACM Program. Lang. 3 (POPL) (2019)
G. A. Kavvos, Edward Morehouse, Daniel R. Licata, Norman Danner
Recurrence Extraction for Functional Programs through Call-by-Push-Value (Extended Version). CoRR (2019)
G. A. Kavvos
Modalities, Cohesion, and Information Flow. CoRR (2018)
G. A. Kavvos
On the Semantics of Intensionality. FoSSaCS (2017)
G. A. Kavvos
Dual-context calculi for modal logic. LICS (2017)
G. A. Kavvos
Intensionality, Intensional Recursion, and the Gödel-Löb axiom. CoRR (2017)
G. A. Kavvos
On the Semantics of Intensionality and Intensional Recursion. CoRR (2017)
G. A. Kavvos
The Many Worlds of Modal λ-calculi: I. Curry-Howard for Necessity, Possibility and Time. CoRR (2016)
G. A. Kavvos
On the Semantics of Intensionality. CoRR (2016)
G. A. Kavvos
Dual-Context Calculi for Modal Logic. CoRR (2016)