G. A. Kavvos

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

Client-Server Sessions in Linear Logic.
CoRR, 2020

Multimodal Dependent Type Theory.
Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 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

Intensionality, Intensional Recursion, and the Gödel-Löb axiom.
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...