Electronic Notes in Theoretical Computer Science, 1571-0661

Journal

Publications

  1. 2018
  2. Published

    The sequent calculus of skew monoidal categories

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

    Research output: Contribution to journalArticle

  3. 2015
  4. Published

    Skalpel: A Type Error Slicer for Standard ML

    Vincent Rahli, Wells, J. B., Pirie, J. & Kamareddine, F., 2015, In : Electronic Notes in Theoretical Computer Science. 312, p. 197-213 17 p.

    Research output: Contribution to journalArticle

  5. 2014
  6. Published

    On a categorical framework for coalgebraic modal logic

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

    Research output: Contribution to journalArticle

  7. Published
  8. 2012
  9. Published

    A system-level game semantics

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

    Research output: Contribution to journalArticle

  10. Published

    Game semantics in the nominal model

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

    Research output: Contribution to journalArticle

  11. 2011
  12. 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

  13. 2010
  14. Published

    Geometry of Synthesis II: From Games to Delay-Insensitive Circuits

    Dan Ghica & Alex Smith, 6 Sep 2010, In : Electronic Notes in Theoretical Computer Science. 265, p. 301-324 24 p.

    Research output: Contribution to journalArticle

  15. 2009
  16. Published

    Simplified Reducibility Proofs of Church-Rosser for beta- and betaeta-reduction

    Kamareddine, F. & Vincent Rahli, 2009, In : Electronic Notes in Theoretical Computer Science. 247, p. 85-101 17 p.

    Research output: Contribution to journalArticle

  17. 2008
  18. Published

    Modelling Intracellular Fate of FGF Receptors With BioAmbients

    Vanbakel, S., Khan, I., Vigliotti, M. & John Heath, 12 Dec 2008, In : Electronic Notes in Theoretical Computer Science. 220, 3, p. 181-197 17 p.

    Research output: Contribution to journalArticle

Previous 1 2 Next