Electronic Notes in Theoretical Computer Science, ‎1571-0661

Journal

Publications

  1. Article › Research › Peer-reviewed
  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

    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

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

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

  7. Editorial › Research › Peer-reviewed
  8. Published

    Preface

    Martin Escardo, Achim Jung & , 12 May 2006, In: Electronic Notes in Theoretical Computer Science. 155, 1 SPEC. ISS., p. 1-3 3 p.

    Research output: Contribution to journalEditorialpeer-review

  9. Conference article › Research › Peer-reviewed
  10. Published

    Electronic Notes in Theoretical Computer Science: Preface

    Martin Escardo & Achim Jung, 25 Oct 2004, In: Electronic Notes in Theoretical Computer Science. 73, p. 1-2 2 p.

    Research output: Contribution to journalConference articlepeer-review

  11. Published

    Hausdorff compactifications of topological function spaces via the theory of continuous lattices

    Martin Escardo, Mar 2001, In: Electronic Notes in Theoretical Computer Science. 40, p. 161 1 p.

    Research output: Contribution to journalConference articlepeer-review

Previous 1 2 Next