G. A. Kavvos

Orcid: 0000-0001-7953-7975

Affiliations:
  • University of Bristol, Department of Computer Science, UK
  • University of Oxford, UK (PhD 2017)


According to our database1, G. A. Kavvos authored at least 17 papers between 2016 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Two-dimensional Kripke Semantics II: Stability and Completeness.
CoRR, 2024

Two-Dimensional Kripke Semantics I: Presheaves.
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

2023
Under Lock and Key: a Proof System for a Multimodal Logic.
Bull. Symb. Log., June, 2023

2022
Modalities and Parametric Adjoints.
ACM Trans. Comput. Log., 2022

Syllepsis in Homotopy Type Theory.
Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

Deeper Shallow Embeddings.
Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2021
Client-server sessions in linear logic.
Proc. ACM Program. Lang., 2021

Multimodal Dependent Type Theory.
Log. Methods Comput. Sci., 2021

Intensionality, Intensional Recursion and the Gödel-Löb Axiom.
FLAP, 2021

2020
Recurrence extraction for functional programs through call-by-push-value.
Proc. ACM Program. Lang., 2020

Dual-Context Calculi for Modal Logic.
Log. Methods Comput. Sci., 2020

2019
Modalities, cohesion, and information flow.
Proc. ACM Program. Lang., 2019

Recurrence Extraction for Functional Programs through Call-by-Push-Value (Extended Version).
CoRR, 2019

2017
On the semantics of intensionality and intensional recursion.
PhD thesis, 2017

On the Semantics of Intensionality and Intensional Recursion.
CoRR, 2017

On the Semantics of Intensionality.
Proceedings of the Foundations of Software Science and Computation Structures, 2017

2016
The Many Worlds of Modal λ-calculi: I. Curry-Howard for Necessity, Possibility and Time.
CoRR, 2016


  Loading...