Annals of Pure and Applied Logic, 0168-0072

Journal

Publications

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

    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

  4. Editorial › Research › Not peer-reviewed
  5. Published
Previous 1 2 Next