University of Manchester, UK
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 10 |      | Andrej Bauer, Paul Taylor: The Dedekind reals in abstract Stone duality. Mathematical Structures in Computer Science 19(4): 757-838 (2009) |
| 2006 | ||
| 9 | | 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 | | Paul Taylor: Inside Every Model of Abstract Stone Duality Lies an Arithmetic Universe. Electr. Notes Theor. Comput. Sci. 122: 247-296 (2005) |
| 2002 | ||
| 5 | | 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] [10] |