Annals of Pure and Applied Logic, 0168-0072
Journal
1 - 10 out of 13Page size: 10
Publications
- Published
Positivity relations on a locale
Steven Vickers, Sep 2016, In: Annals of Pure and Applied Logic. 167, 9, p. 806-819Research output: Contribution to journal › Article › peer-review
- 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 journal › Article
- 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 journal › Article
- 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-793Research output: Contribution to journal › Article › peer-review
- 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-805Research output: Contribution to journal › Article › peer-review
- 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 journal › Article
- 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
- 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 journal › Article
- 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 journal › Article
- 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 journal › Article