G. A. Kavvos

Identifiers

No identifiers captured yet.

Papers (5)

1. Modalities, Cohesion, and Information Flow cs.PL · 2018 · author #1
2. On the Semantics of Intensionality and Intensional Recursion cs.LO · 2017 · author #1
3. The Many Worlds of Modal {\lambda}-calculi: I. Curry-Howard for Necessity, Possibility and Time cs.LO · 2016 · author #1
4. Kleene's Two Kinds of Recursion cs.LO · 2016 · author #1
5. On the Semantics of Intensionality cs.LO · 2016 · author #1

Mentions

No mention provenance yet.