Paul Taylor

Publication Activity (10 Years)

Years Active: 1985-2011
Publications (10 Years): 0

Publications

Peter Rowley, Paul Taylor
. LMS J. Comput. Math. 14 (2011)
Peter Rowley, Paul Taylor
Normalizers of 2-subgroups in black-box groups. LMS J. Comput. Math. 13 (2010)
Andrej Bauer, Paul Taylor
The Dedekind reals in abstract Stone duality. Math. Struct. Comput. Sci. 19 (4) (2009)
Paul Taylor
Computably Based Locally Compact Spaces. Log. Methods Comput. Sci. 2 (1) (2006)
Paul Taylor
A Lambda Calculus for Real Analysis. CCA (2005)
Andrej Bauer, Paul Taylor
The Dedekind Reals in Abstract Stone Duality. CCA (2005)
Paul Taylor
Inside Every Model of Abstract Stone Duality Lies an Arithmetic Universe. CTCS (2004)
Paul Taylor
Local Compactness and the Baire Category Theorem in Abstract Stone Duality. CTCS (2002)
Paul Taylor
Intuitionistic Sets and Ordinals. J. Symb. Log. 61 (3) (1996)
Paul Taylor
The Fixed Point Property in Synthetic Domain Theory LICS (1991)
Paul Taylor
Quantitative Domains, Groupoids and Linear Logic. Category Theory and Computer Science (1989)
Paul Taylor
Internal Completeness of Categories of Domains. CTCS (1985)