Paul Taylor

According to our database, Paul Taylor authored at least 11 papers between 1985 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2011

Involutions in Janko's simple group <i>J₄</i>.

Peter Rowley, Paul Taylor

LMS J. Comput. Math., 2011

2010

Normalizers of 2-subgroups in black-box groups.

Peter Rowley, Paul Taylor

LMS J. Comput. Math., 2010

2009

The Dedekind reals in abstract Stone duality.

Andrej Bauer, Paul Taylor

Math. Struct. Comput. Sci., 2009

2006

Computably Based Locally Compact Spaces.

Paul Taylor

Log. Methods Comput. Sci., 2006

2005

A Lambda Calculus for Real Analysis.

Paul Taylor

Proceedings of the CCA 2005, 2005

2004

Inside Every Model of Abstract Stone Duality Lies an Arithmetic Universe.

Paul Taylor

Proceedings of the 10th Conference on Category Theory in Computer Science, 2004

2002

Local Compactness and the Baire Category Theorem in Abstract Stone Duality.

Paul Taylor

Proceedings of the Category Theory and Computer Science, 2002

1996

Intuitionistic Sets and Ordinals.

Paul Taylor

J. Symb. Log., 1996

1991

The Fixed Point Property in Synthetic Domain Theory

Paul Taylor

Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

1989

Quantitative Domains, Groupoids and Linear Logic.

Paul Taylor

Proceedings of the Category Theory and Computer Science, 1989

1985

Internal Completeness of Categories of Domains.

Paul Taylor

Proceedings of the Category Theory and Computer Programming, 1985