G. A. Kavvos - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 13 from 13

2023

Under Lock and Key: a Proof System for a Multimodal LogicG. A. Kavvos, Daniel Gratzer. bsl, 29(2):264-293, June 2023. [doi]

2022

Modalities and Parametric AdjointsDaniel Gratzer, Evan Cavallo, G. A. Kavvos, Adrien Guatto, Lars Birkedal. tocl, 23(3), 2022. [doi]

Deeper Shallow EmbeddingsJacob Prinz, G. A. Kavvos, Leonidas Lampropoulos. itp 2022: [doi]

Syllepsis in Homotopy Type TheoryKristina Sojakova, G. A. Kavvos. lics 2022: [doi]

2021

Multimodal Dependent Type TheoryDaniel Gratzer, G. A. Kavvos, Andreas Nuyts, Lars Birkedal. lmcs, 17(3), 2021. [doi]

Intensionality, Intensional Recursion and the Gödel-Löb AxiomG. A. Kavvos. flap, 8(8):2287-2312, 2021. [doi]

Client-server sessions in linear logicZesen Qian, G. A. Kavvos, Lars Birkedal. PACMPL, 5(ICFP):1-31, 2021. [doi]

2020

Multimodal Dependent Type TheoryDaniel Gratzer, G. A. Kavvos, Andreas Nuyts, Lars Birkedal. lics 2020: 492-506 [doi]

Recurrence extraction for functional programs through call-by-push-valueG. A. Kavvos, Edward Morehouse, Daniel R. Licata, Norman Danner. PACMPL, 4(POPL), 2020. [doi]

Dual-Context Calculi for Modal LogicG. A. Kavvos. lmcs, 16(3), 2020. [doi]

2019

Modalities, cohesion, and information flowG. A. Kavvos. PACMPL, 3, 2019. [doi]

2017

Dual-context calculi for modal logicG. A. Kavvos. lics 2017: 1-12 [doi]

On the Semantics of IntensionalityG. A. Kavvos. fossacs 2017: 550-566 [doi]

Sign in or sign up to see more results.

runs on WebDSL