Mathematical Structures in Computer Science, ‎0960-1295

Journal

Publications

  1. 2021
  2. Accepted/In press

    The Scott model of PCF in univalent type theory

    21 Jun 2021, (Accepted/In press) In: Mathematical Structures in Computer Science.

    Research output: Contribution to journalArticlepeer-review

  3. E-pub ahead of print

    Injective types in univalent mathematics

    Martin Escardo, 5 Jan 2021, (E-pub ahead of print) In: Mathematical Structures in Computer Science. 28 p.

    Research output: Contribution to journalArticlepeer-review

  4. 2018
  5. 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 journalArticlepeer-review

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

  7. 2016
  8. Published

    Modules over relative monads for syntax and semantics

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

    Research output: Contribution to journalArticlepeer-review

  9. 2015
  10. 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 journalArticlepeer-review

  11. 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 journalArticlepeer-review

  12. 2013
  13. 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 journalArticlepeer-review

  14. 2010
  15. 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

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

Previous 1 2 Next