Mathematical Structures in Computer Science, 0960-1295

Journal

Publications

  1. 2018
  2. Published

    Validating Brouwer's continuity principle for numbers using named exceptions

    Vincent Rahli, 1 Jun 2018, In : Mathematical Structures in Computer Science. 28, 6, p. 942-990 49 p.

    Research output: Contribution to journalArticle

  3. Published

    An Isbell Duality Theorem for Type Refinement Systems

    Noam Zeilberger, Jun 2018, In : Mathematical Structures in Computer Science. 28, 6, p. 736-774

    Research output: Contribution to journalArticle

  4. 2016
  5. Published

    Modules over relative monads for syntax and semantics

    Benedikt Ahrens, 1 Jan 2016, In : Mathematical Structures in Computer Science. 26, 1, p. 3-37 35 p.

    Research output: Contribution to journalArticle

  6. 2015
  7. Published

    Constructive decidability of classical continuity

    Martin Escardo, 1 Oct 2015, In : Mathematical Structures in Computer Science. 25, Special Issue 7, p. 1578-1589 12 p.

    Research output: Contribution to journalArticle

  8. Published

    Univalent categories and the Rezk completion

    Benedikt Ahrens, 1 Jun 2015, In : Mathematical Structures in Computer Science. 25, 5, p. 1010-1039 30 p.

    Research output: Contribution to journalArticle

  9. 2013
  10. Published

    Generalised powerlocales via relation lifting

    Steven Vickers, 1 Feb 2013, In : Mathematical Structures in Computer Science. 23, 1, p. 142-199 58 p.

    Research output: Contribution to journalArticle

  11. 2010
  12. Published

    Preface for the special issue on domains

    Achim Jung, 1 Apr 2010, In : Mathematical Structures in Computer Science. 20, 2, p. 105-106 2 p.

    Research output: Contribution to journalEditorial

  13. Published

    Selection Functions, Bar Recursion and Backward Induction

    Martin Escardo, 1 Apr 2010, In : Mathematical Structures in Computer Science. 20, 2, p. 127-168 42 p.

    Research output: Contribution to journalArticle

  14. 2009
  15. Published

    Editors' note: bibliometrics and the curators of orthodoxy

    Martin Escardo, 1 Feb 2009, In : Mathematical Structures in Computer Science. 19, 1, p. 1-4 4 p.

    Research output: Contribution to journalEditorial

  16. 2006
  17. Published

    Preface dedicated to Klaus Keimel on the occasion of his 65th birthday

    Martin Escardo, Achim Jung, 1 Apr 2006, In : Mathematical Structures in Computer Science. 16, 2, p. 139-140 2 p.

    Research output: Contribution to journalEditorial

Previous 1 2 Next