Internal Completeness of Categories of Domains. - Paul Taylor 002 (CTCS, 1985)

Quantitative Domains, Groupoids and Linear Logic. - Paul Taylor 002 (Category Theory and Computer Science, 1989)

The Fixed Point Property in Synthetic Domain Theory - Paul Taylor 002 (LICS, 1991)

Intuitionistic Sets and Ordinals. - Paul Taylor 002 (J. Symb. Log., 1996)

Local Compactness and the Baire Category Theorem in Abstract Stone Duality. - Paul Taylor 002 (CTCS, 2002)

Inside Every Model of Abstract Stone Duality Lies an Arithmetic Universe. - Paul Taylor 002 (CTCS, 2004)

A Lambda Calculus for Real Analysis. - Paul Taylor 002 (CCA, 2005)

Computably Based Locally Compact Spaces. - Paul Taylor 002 (Log. Methods Comput. Sci., 2006)

The Dedekind reals in abstract Stone duality. - Andrej Bauer; Paul Taylor 002 (Math. Struct. Comput. Sci., 2009)

Normalizers of 2-subgroups in black-box groups. - Peter Rowley; Paul Taylor 002 (LMS J. Comput. Math., 2010)

Involutions in Janko's simple group J4. - Peter Rowley; Paul Taylor 002 (LMS J. Comput. Math., 2011)