( en | de | ru )

 

Disambiguation of "Kavvos, G. A."

Author of the publication

copydeleteadd this publication to your clipboard
The Many Worlds of Modal λ-calculi: I. Curry-Howard for Necessity, Possibility and Time.

. CoRR, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

A G Class

C A G Charpentier

Robert G A Kurvers

G Charles A Fernando

Robert G A Lotz

 

Other publications of authors with the same name

Two-dimensional Kripke Semantics I: Presheaves.. CoRR, (2024)On the Semantics of Intensionality.. FoSSaCS, volume 10203 of Lecture Notes in Computer Science, page 550-566. (2017)Multimodal Dependent Type Theory., , , and . LICS, page 492-506. ACM, (2020)Deeper Shallow Embeddings., , and . ITP, volume 237 of LIPIcs, page 28:1-28:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Recurrence extraction for functional programs through call-by-push-value., , , and . Proc. ACM Program. Lang., 4 (POPL): 15:1-15:31 (2020)The Many Worlds of Modal λ-calculi: I. Curry-Howard for Necessity, Possibility and Time.. CoRR, (2016)Dual-Context Calculi for Modal Logic.. Log. Methods Comput. Sci., (2020)Dual-Context Calculi for Modal Logic.. CoRR, (2016)Multimodal Dependent Type Theory., , , and . Log. Methods Comput. Sci., (2021)Syllepsis in Homotopy Type Theory., and . LICS, page 29:1-29:12. ACM, (2022)