G. A. Kavvos
Orcid: 0000-0001-7953-7975Affiliations:
- University of Bristol, Department of Computer Science, UK
- University of Oxford, UK (PhD 2017)
According to our database1,
G. A. Kavvos
authored at least 15 papers
between 2016 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on twitter.com
-
on orcid.org
On csauthors.net:
Bibliography
2023
Bull. Symb. Log., June, 2023
2022
Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022
Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022
2021
2020
Proc. ACM Program. Lang., 2020
2019
Recurrence Extraction for Functional Programs through Call-by-Push-Value (Extended Version).
CoRR, 2019
2017
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