Towards Directed Model Categories

Project Details

StatusFinished
Effective start/end date1/03/24 → 30/11/24

Research Groups and Themes

  • Programming Languages

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
View full fingerprint
  • 2 Conference Contribution (Conference Proceeding)

  • Two-dimensional Kripke Semantics I: Presheaves

    Kavvos, G. A., 5 Jul 2024, 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024). Rehof, J. (ed.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Vol. 299. 23 p. 14. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 299).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    File
    26 Downloads (Pure)

  • Two-dimensional Kripke Semantics II: Stability and Completeness

    Kavvos, G. A., 15 Dec 2024, Electronic Notes in Theoretical Informatics and Computer Science (ENTICS). Vol. 4. 20 p. (Electronic Notes in Theoretical Informatics and Computer Science (ENTICS)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Open Access
    File
    37 Downloads (Pure)