Concepedia

G. A. Kavvos

GA

Statistics

Publications

6

Citations

119

H-Index

6

Active since

2016

Affiliations

Aarhus University(Current)

University of Bristol

University of Oxford

G. A. Kavvos is an author at Aarhus University specializing in computer science, modal theory, and modal logic.

ORCID

Publications per year

2016–2021

6

Publications

6

Multimodal Dependent Type Theory

Daniel Gratzer, G. A. Kavvos, Andreas Nuyts et al. · 2020 · 37 citations · Full text

, , +16

Multimodal Dependent Type Theory

G. A. Kavvos, Daniel Gratzer, Andreas Nuyts et al. · Explore Bristol Research · 2021 · 30 citations · Full text

, , +16

Dual-Context Calculi for Modal Logic

G. A. Kavvos · 2017 · 17 citations · Full text

, , +13

Client-server sessions in linear logic

Zesen Qian, G. A. Kavvos, Lars Birkedal · Proceedings of the ACM on Programming Languages · 2021 · 14 citations · Full text

, , +12

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

G. A. Kavvos · arXiv (Cornell University) · 2016 · 11 citations · Full text

, , +13

1–5 of 6