Alex Kavvos : Publications
Journal papers
-
[1]
Kleene's Two Kinds of Recursion
G. A. Kavvos
In CoRR. 2016.
Details about Kleene's Two Kinds of Recursion | BibTeX data for Kleene's Two Kinds of Recursion | Link to Kleene's Two Kinds of Recursion
-
[2]
The Many Worlds of Modal λ−calculi: I. Curry−Howard for Necessity‚ Possibility and Time
G. A. Kavvos
May, 2016.
Details about The Many Worlds of Modal λ−calculi: I. Curry−Howard for Necessity‚ Possibility and Time | BibTeX data for The Many Worlds of Modal λ−calculi: I. Curry−Howard for Necessity‚ Possibility and Time | Link to The Many Worlds of Modal λ−calculi: I. Curry−Howard for Necessity‚ Possibility and Time
Conference papers
-
[1]
Dual−Context Calculi for Modal Logic
G. A. Kavvos
In Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). 2017.
Details about Dual−Context Calculi for Modal Logic | BibTeX data for Dual−Context Calculi for Modal Logic | Link to Dual−Context Calculi for Modal Logic
-
[2]
On the Semantics of Intensionality
G. A. Kavvos
In Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS). 2017.
Details about On the Semantics of Intensionality | BibTeX data for On the Semantics of Intensionality | Link to On the Semantics of Intensionality