Paul Taylor

12 papers A* 1C 2Journal 5Unranked 4

Year	Rank	Type	Title / Venue / Authors
2011	J	`jnl`	Involutions in Janko's simple group LMS J. Comput. Math. Peter Rowley, Paul Taylor
2010	J	`jnl`	Normalizers of 2-subgroups in black-box groups. LMS J. Comput. Math. Peter Rowley, Paul Taylor
2009	J	`jnl`	The Dedekind reals in abstract Stone duality. Math. Struct. Comput. Sci. Andrej Bauer, Paul Taylor
2006	J	`jnl`	Computably Based Locally Compact Spaces. Log. Methods Comput. Sci. Paul Taylor
2005	C	`conf`	A Lambda Calculus for Real Analysis. CCA Paul Taylor
2005	C	`conf`	The Dedekind Reals in Abstract Stone Duality. CCA Andrej Bauer, Paul Taylor
2004	—	`conf`	Inside Every Model of Abstract Stone Duality Lies an Arithmetic Universe. CTCS Paul Taylor
2002	—	`conf`	Local Compactness and the Baire Category Theorem in Abstract Stone Duality. CTCS Paul Taylor
1996	J	`jnl`	Intuitionistic Sets and Ordinals. J. Symb. Log. Paul Taylor
1991	A*	`conf`	The Fixed Point Property in Synthetic Domain Theory LICS Paul Taylor
1989	—	`conf`	Quantitative Domains, Groupoids and Linear Logic. Category Theory and Computer Science Paul Taylor
1985	—	`conf`	Internal Completeness of Categories of Domains. CTCS Paul Taylor