Electronic Notes in Theoretical Computer Science, ‎1571-0661

Journal

Publications

  1. 2018
  2. Published

    The sequent calculus of skew monoidal categories

    Noam Zeilberger, 1 Dec 2018, In: Electronic Notes in Theoretical Computer Science. 341, p. 345-370 26 p.

    Research output: Contribution to journalArticlepeer-review

  3. Published
  4. Published

    Understanding Communication Patterns in HPCG

    Stephen Jarvis, 29 Oct 2018, In: Electronic Notes in Theoretical Computer Science. 340, p. 55-65 11 p.

    Research output: Contribution to journalArticlepeer-review

  5. 2015
  6. Published

    Skalpel: a type error slicer for Standard ML

    Vincent Rahli, , & , 24 Apr 2015, In: Electronic Notes in Theoretical Computer Science. 312, p. 197-213 17 p.

    Research output: Contribution to journalArticlepeer-review

  7. 2014
  8. Published

    On a categorical framework for coalgebraic modal logic

    Achim Jung, 29 Oct 2014, In: Electronic Notes in Theoretical Computer Science. 308, p. 109-128

    Research output: Contribution to journalArticlepeer-review

  9. Published
  10. 2013
  11. Published

    Continuity of gödel's system T definable functionals via effectful forcing

    Martin Escardo, 4 Nov 2013, In: Electronic Notes in Theoretical Computer Science. 298, p. 119-141 23 p.

    Research output: Contribution to journalArticlepeer-review

  12. 2012
  13. Published

    A system-level game semantics

    Dan Ghica & , 24 Sep 2012, In: Electronic Notes in Theoretical Computer Science. 286, p. 191-211 21 p.

    Research output: Contribution to journalArticlepeer-review

  14. Published

    Game semantics in the nominal model

    Dan Ghica, 24 Sep 2012, In: Electronic Notes in Theoretical Computer Science. 286, p. 173-189 17 p.

    Research output: Contribution to journalArticlepeer-review

  15. 2011
  16. Published

    Paraconsistent Modal Logics

    Umberto Rivieccio, 3 Nov 2011, In: Electronic Notes in Theoretical Computer Science. 278, p. 173-186 14 p.

    Research output: Contribution to journalArticle

Previous 1 2 Next