Electronic Notes in Theoretical Computer Science, ‎1571-0661

Journal

Publications

  1. 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

  2. Published
  3. Published

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

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

    Research output: Contribution to journalArticlepeer-review

  4. Published

    Living with paradoxes

    Manfred Kerber, 1 Mar 2005, In: Electronic Notes in Theoretical Computer Science. 123, p. 151-163 13 p.

    Research output: Contribution to journalArticle

  5. 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

  6. 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

  7. 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

  8. Published

    Modelling Intracellular Fate of FGF Receptors With BioAmbients

    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