Annals of Pure and Applied Logic, 0168-0072

Journal

Publications

  1. 2016
  2. 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

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

  5. 2012
  6. Published

    The Peirce translation

    Martin Escardo, 1 Jun 2012, In : Annals of Pure and Applied Logic. 163, 6, p. 681-692 12 p.

    Research output: Contribution to journalArticle

  7. Published

    Cosheaves and Connectedness in Formal Topology

    Steven Vickers, 1 Feb 2012, In : Annals of Pure and Applied Logic. 163, 2, p. 157-174 18 p.

    Research output: Contribution to journalArticle

  8. 2010
  9. Published

    Truth in generic cuts

    Sadie Kaye, 1 May 2010, In : Annals of Pure and Applied Logic. 161, 8, p. 987-1005 19 p.

    Research output: Contribution to journalArticle

  10. Published
  11. 2008
  12. Published

    Angelic semantics of fine-grained concurrency

    Dan Ghica, 1 Feb 2008, In : Annals of Pure and Applied Logic. 151, 2-3, p. 89-114 26 p.

    Research output: Contribution to journalArticle

  13. Published

    Foreword for special issue of APAL for GaLoP 2005

    Dan Ghica, 1 Feb 2008, In : Annals of Pure and Applied Logic. 151, 2-3, p. 69 1 p.

    Research output: Contribution to journalArticle

  14. Published

    Infinite Trace Equivalence

    Paul Levy, 1 Feb 2008, In : Annals of Pure and Applied Logic. 151, 2-3, p. 170-198 29 p.

    Research output: Contribution to journalArticle

  15. 2007
  16. Published

    Partial Horn Logic and Cartesian Categories

    Steven Vickers, 1 Mar 2007, In : Annals of Pure and Applied Logic. 145, 3, p. 314-353 40 p.

    Research output: Contribution to journalArticlepeer-review

  17. 2006
  18. Published

    Compactly generated Hausdorff locales

    Martin Escardo, 1 Jan 2006, In : Annals of Pure and Applied Logic. 137, 1-3, p. 147-163 17 p.

    Research output: Contribution to journalArticle

  19. Published

    Compactness in Locales and in Formal Topology

    Steven Vickers, 1 Jan 2006, In : Annals of Pure and Applied Logic. 137, 1-3, p. 413-438 26 p.

    Research output: Contribution to journalArticlepeer-review