Annals of Pure and Applied Logic, 0168-0072

Journal

11 - 13 out of 13Page size: 10
Sort by: Type

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 journal › Article › peer-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 journal › Article › peer-review

  4. Editorial › Research › Not peer-reviewed
  5. Published

    The Third Workshop on Games for Logic and Programming Languages (GaLoP) April 5-6 2008, Budapest, Hungary, Foreword

    Dan Ghica, 1 Feb 2010, In: Annals of Pure and Applied Logic. 161, 5, p. 617 1 p.

    Research output: Contribution to journal › Editorial

Previous 1 2 Next