Annals of Pure and Applied Logic, 0168-0072
Journal
Publications
- Article › Research › Not peer-reviewed
- 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
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
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 journal › Article
- 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
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
- 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
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
- Article › Research › Peer-reviewed
- 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
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 journal › Article › peer-review
- 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 journal › Article › peer-review