| |
University of Manchester, UK
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
| 2006 | ||
|---|---|---|
| 9 | EE | Paul Taylor: Computably Based Locally Compact Spaces. Logical Methods in Computer Science 2(1): (2006) |
| 2005 | ||
| 8 | Paul Taylor: A Lambda Calculus for Real Analysis. CCA 2005: 227-266 | |
| 7 | Andrej Bauer, Paul Taylor: The Dedekind Reals in Abstract Stone Duality. CCA 2005: 25-64 | |
| 6 | EE | Paul Taylor: Inside Every Model of Abstract Stone Duality Lies an Arithmetic Universe. Electr. Notes Theor. Comput. Sci. 122: 247-296 (2005) |
| 2002 | ||
| 5 | EE | Paul Taylor: Local Compactness and the Baire Category Theorem in Abstract Stone Duality. Electr. Notes Theor. Comput. Sci. 69: (2002) |
| 1996 | ||
| 4 | Paul Taylor: Intuitionistic Sets and Ordinals. J. Symb. Log. 61(3): 705-744 (1996) | |
| 1991 | ||
| 3 | Paul Taylor: The Fixed Point Property in Synthetic Domain Theory LICS 1991: 152-160 | |
| 1989 | ||
| 2 | Paul Taylor: Quantitative Domains, Groupoids and Linear Logic. Category Theory and Computer Science 1989: 155-181 | |
| 1985 | ||
| 1 | Paul Taylor: Internal Completeness of Categories of Domains. CTCS 1985: 449-465 | |
| 1 | Andrej Bauer | [7] |