Annals of Pure and Applied Logic, 0168-0072

Journal

Publications

  1. 2016
  2. Published

    Positivity relations on a locale

    Steven Vickers, Sep 2016, In: Annals of Pure and Applied Logic. 167, 9, p. 806-819

    Research output: Contribution to journalArticlepeer-review

  3. Published

    A constructive manifestation of the Kleene–Kreisel continuous functionals

    Martin Escardo, 1 Sep 2016, In: Annals of Pure and Applied Logic. 167, 9, p. 770-793

    Research output: Contribution to journalArticlepeer-review

  4. Published

    The intrinsic topology of Martin-Löf universes

    Martin Escardo, 1 Sep 2016, In: Annals of Pure and Applied Logic. 167, 9, p. 794-805

    Research output: Contribution to journalArticlepeer-review

Previous 1 2 Next