Search Results - KAVVOS, G. A.

  • Showing 1 - 20 results of 20
Refine Results
  1. 1
    UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC

    UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC by KAVVOS, G. A., GRATZER, DANIEL

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Dual-Context Calculi for Modal Logic

    Dual-Context Calculi for Modal Logic by G. A. Kavvos

    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Multimodal Dependent Type Theory

    Multimodal Dependent Type Theory by Gratzer, Daniel, Kavvos, G. A., Nuyts, Andreas, Birkedal, Lars

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Two-dimensional Kripke Semantics I: Presheaves

    Two-dimensional Kripke Semantics I: Presheaves by Kavvos, G A

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Modalities, cohesion, and information flow

    Modalities, cohesion, and information flow by Kavvos, G. A.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Client-server sessions in linear logic

    Client-server sessions in linear logic by Qian, Zesen, Kavvos, G. A., Birkedal, Lars

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Under Lock and Key: A Proof System for a Multimodal Logic

    Under Lock and Key: A Proof System for a Multimodal Logic by Kavvos, G A, Gratzer, Daniel

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Dual-Context Calculi for Modal Logic

    Dual-Context Calculi for Modal Logic by Kavvos, G A

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Recurrence extraction for functional programs through call-by-push-value

    Recurrence extraction for functional programs through call-by-push-value by Kavvos, G. A., Morehouse, Edward, Licata, Daniel R., Danner, Norman

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    Modalities and Parametric Adjoints

    Modalities and Parametric Adjoints by Gratzer, Daniel, Cavallo, Evan, Kavvos, G. A., Guatto, Adrien, Birkedal, Lars

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    Modalities, Cohesion, and Information Flow

    Modalities, Cohesion, and Information Flow by Kavvos, G A

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Multimodal Dependent Type Theory

    Multimodal Dependent Type Theory by Gratzer, Daniel, Kavvos, G A, Nuyts, Andreas, Birkedal, Lars

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    On the Semantics of Intensionality

    On the Semantics of Intensionality by Kavvos, G A

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Recurrence Extraction for Functional Programs through Call-by-Push-Value (Extended Version)

    Recurrence Extraction for Functional Programs through Call-by-Push-Value (Extended Version) by Kavvos, G A, Morehouse, Edward, Licata, Daniel R, Danner, Norman

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Two-dimensional Kripke Semantics II: Stability and Completeness

    Two-dimensional Kripke Semantics II: Stability and Completeness by Kavvos, G A

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    Intensionality, Intensional Recursion, and the Gödel-Löb axiom

    Intensionality, Intensional Recursion, and the Gödel-Löb axiom by Kavvos, G A

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    Kleene's Two Kinds of Recursion

    Kleene's Two Kinds of Recursion by Kavvos, G A

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    On the Semantics of Intensionality and Intensional Recursion

    On the Semantics of Intensionality and Intensional Recursion by Kavvos, G A

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Client-Server Sessions in Linear Logic

    Client-Server Sessions in Linear Logic by Qian, Zesen, Kavvos, G A, Birkedal, Lars

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    The Many Worlds of Modal {\lambda}-calculi: I. Curry-Howard for Necessity, Possibility and Time

    The Many Worlds of Modal {\lambda}-calculi: I. Curry-Howard for Necessity, Possibility and Time by Kavvos, G A

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: