×

zbMATH — the first resource for mathematics

Taylor, Paul M.

Compute Distance To:
Author ID: taylor.paul-m Recent zbMATH articles by "Taylor, Paul M."
Published as: Taylor, P.; Taylor, P. M.; Taylor, Paul; Taylor, Paul M.
Documents Indexed: 34 Publications since 1979, including 4 Books

Publications by Year

Citations contained in zbMATH

22 Publications have been cited 376 times in 352 Documents Cited by Year
Proofs and types. Zbl 0671.68002
Girard, Jean-Yves; Taylor, Paul; Lafont, Yves
256
1989
Practical foundations of mathematics. Zbl 0939.18001
Taylor, Paul
34
1999
An algebraic approach to stable domains. Zbl 0705.18004
Taylor, Paul
14
1990
Geometric and higher order logic in terms of abstract Stone duality. Zbl 0969.18004
Taylor, Paul
9
2000
A lambda calculus for real analysis. Zbl 1285.03006
Taylor, Paul
7
2010
Sober spaces and continuations. Zbl 1007.03058
Taylor, Paul
7
2002
Introducing doodles. Zbl 0409.57003
Fenn, Roger; Taylor, Paul
7
1979
Bochner-Riesz means with respect to a rough distance function. Zbl 1135.42008
Taylor, Paul
6
2007
Subspaces in abstract Stone duality. Zbl 1008.18005
Taylor, Paul
5
2002
Intuitionistic sets and ordinals. Zbl 0858.03058
Taylor, Paul
5
1996
The Dedekind reals in abstract Stone duality. Zbl 1262.03130
Bauer, Andrej; Taylor, Paul
4
2009
Involutions in Janko’s simple group \(J_4\). Zbl 1296.20013
Rowley, Peter; Taylor, Paul
3
2011
Computably based locally compact spaces. Zbl 1126.03041
Taylor, Paul
3
2006
Weak type estimates for maximal operators with a cylindric distance function. Zbl 1105.42007
Hong, Sunggeum; Taylor, Paul; Yang, Chan Woo
3
2006
Computer aided design of multivariable nonlinear control systems using frequency domain techniques. Zbl 0416.93059
Gray, J. O.; Taylor, P. M.
3
1979
Foundations for computable topology. Zbl 1317.03041
Taylor, Paul
2
2011
The relational grid monitoring architecture: Mediating information about the grid. Zbl 1081.68514
Cooke, A. W.; Gray, A. J. G.; Nutt, W.; Magowan, J.; Oevers, M.; Taylor, P.; Cordenonsi, R.; Byrom, R.; Cornwall, L.; Djaoui, A.; Field, L.; Fisher, S. M.; Hicks, S.; Leake, J.; Middleton, R.; Wilson, A.; Zhu, X.; Podhorszki, N.; Coghlan, B.; Kenny, S.; O’Callaghan, D.; Ryan, J.
2
2005
A note on Russell’s paradox in locally Cartesian closed categories. Zbl 0702.03036
Pitts, Andrew M.; Taylor, Paul
2
1989
Involutions in the automorphism groups of small sporadic simple groups. Zbl 1352.20010
Bates, Chris; Rowley, Peter; Taylor, Paul
1
2015
Point-line collinearity graphs of two sporadic minimal parabolic geometries. Zbl 1277.20016
Rowley, Peter; Taylor, Paul
1
2011
Normalizers of 2-subgroups in black-box groups. Zbl 1260.20027
Rowley, Peter; Taylor, Paul
1
2010
Inside every model of abstract Stone duality lies an arithmetic universe. Zbl 1272.03165
Taylor, Paul
1
2005
Involutions in the automorphism groups of small sporadic simple groups. Zbl 1352.20010
Bates, Chris; Rowley, Peter; Taylor, Paul
1
2015
Involutions in Janko’s simple group \(J_4\). Zbl 1296.20013
Rowley, Peter; Taylor, Paul
3
2011
Foundations for computable topology. Zbl 1317.03041
Taylor, Paul
2
2011
Point-line collinearity graphs of two sporadic minimal parabolic geometries. Zbl 1277.20016
Rowley, Peter; Taylor, Paul
1
2011
A lambda calculus for real analysis. Zbl 1285.03006
Taylor, Paul
7
2010
Normalizers of 2-subgroups in black-box groups. Zbl 1260.20027
Rowley, Peter; Taylor, Paul
1
2010
The Dedekind reals in abstract Stone duality. Zbl 1262.03130
Bauer, Andrej; Taylor, Paul
4
2009
Bochner-Riesz means with respect to a rough distance function. Zbl 1135.42008
Taylor, Paul
6
2007
Computably based locally compact spaces. Zbl 1126.03041
Taylor, Paul
3
2006
Weak type estimates for maximal operators with a cylindric distance function. Zbl 1105.42007
Hong, Sunggeum; Taylor, Paul; Yang, Chan Woo
3
2006
The relational grid monitoring architecture: Mediating information about the grid. Zbl 1081.68514
Cooke, A. W.; Gray, A. J. G.; Nutt, W.; Magowan, J.; Oevers, M.; Taylor, P.; Cordenonsi, R.; Byrom, R.; Cornwall, L.; Djaoui, A.; Field, L.; Fisher, S. M.; Hicks, S.; Leake, J.; Middleton, R.; Wilson, A.; Zhu, X.; Podhorszki, N.; Coghlan, B.; Kenny, S.; O’Callaghan, D.; Ryan, J.
2
2005
Inside every model of abstract Stone duality lies an arithmetic universe. Zbl 1272.03165
Taylor, Paul
1
2005
Sober spaces and continuations. Zbl 1007.03058
Taylor, Paul
7
2002
Subspaces in abstract Stone duality. Zbl 1008.18005
Taylor, Paul
5
2002
Geometric and higher order logic in terms of abstract Stone duality. Zbl 0969.18004
Taylor, Paul
9
2000
Practical foundations of mathematics. Zbl 0939.18001
Taylor, Paul
34
1999
Intuitionistic sets and ordinals. Zbl 0858.03058
Taylor, Paul
5
1996
An algebraic approach to stable domains. Zbl 0705.18004
Taylor, Paul
14
1990
Proofs and types. Zbl 0671.68002
Girard, Jean-Yves; Taylor, Paul; Lafont, Yves
256
1989
A note on Russell’s paradox in locally Cartesian closed categories. Zbl 0702.03036
Pitts, Andrew M.; Taylor, Paul
2
1989
Introducing doodles. Zbl 0409.57003
Fenn, Roger; Taylor, Paul
7
1979
Computer aided design of multivariable nonlinear control systems using frequency domain techniques. Zbl 0416.93059
Gray, J. O.; Taylor, P. M.
3
1979
all top 5

Cited by 450 Authors

6 Mackie, Ian
6 Nour, Karim
6 Taylor, Paul H.
5 Fernández, Maribel
5 Ferreira, Fernando
5 Ferreira, Gilda
5 Hong, Sunggeum
5 Kesner, Delia
5 Rosolini, Giuseppe
4 Abel, Andreas M.
4 Abramsky, Samson
4 Aschieri, Federico
4 Bauer, Andrej
4 Blute, Richard F.
4 Dal Lago, Ugo
4 Maietti, Maria Emilia
4 Pym, David J.
4 Rowley, Peter J.
4 Scedrov, Andre
4 Scott, Philip J.
4 van Bakel, Steffen
4 Yang, Chan Woo
3 Alves, Sandra
3 Bickford, Mark
3 Bucciarelli, Antonio
3 Colson, Loïc
3 Constable, Robert Lee
3 de Paiva, Valeria
3 Dowek, Gilles
3 Ehrhard, Thomas
3 Florido, Mário
3 Fu, Peng
3 Jung, Achim
3 Kirchner, Claude
3 Komendantskaya, Ekaterina
3 Kou, Hui
3 Lipton, James B.
3 Longo, Giuseppe
3 Miquel, Alexandre
3 Pientka, Brigitte
3 Reeves, Steve
3 Ritter, Eike
3 Simpson, Alex K.
3 Streader, David
3 Stump, Aaron
3 Townsend, Christopher F.
3 Vickers, Steven
3 Wadler, Philip Lee
3 Xi, Xiaoyong
3 Yoshida, Nobuko
2 Ageron, Pierre
2 Akama, Yohji
2 Avron, Arnon
2 Bartholomew, Andrew
2 Bethke, Inge
2 Blanqui, Frédéric
2 Bortolussi, Luca
2 Braüner, Torben
2 Bucalo, Anna
2 Burel, Guillaume
2 Capretta, Venanzio
2 Chen, Yixiang
2 Clairambault, Pierre
2 Curien, Pierre-Louis
2 Dybjer, Peter
2 Farkh, Samir
2 Fenn, Roger Andrew
2 Frosoni, Giulia
2 Führmann, Carsten
2 Garner, Richard
2 Guillermo, Mauricio
2 Harper, Robert
2 Hofmann, Martin
2 Hyland, J. Martin E.
2 Jouannaud, Jean-Pierre
2 Kamada, Naoko
2 Kamada, Seiichi
2 Kim, Joonil
2 Kirchner, Hélène
2 Kramer, Simon
2 Lincoln, Patrick D.
2 Masini, Andrea
2 Miller, Dale Allen
2 Mints, Grigoriĭ Efroimovich
2 Møgelberg, Rasmus Ejlers
2 Momigliano, Alberto
2 Moshier, M. Andrew
2 Nahon, Fabrice
2 Nakazawa, Koji
2 Okada, Mitsuhiro
2 Paolini, Luca
2 Petit, Barbara
2 Piccolo, Mauro
2 Pierce, Benjamin C.
2 Pouliasis, Konstantinos
2 Retoré, Christian
2 Salvati, Sylvain
2 Sato, Masahiko
2 Schalk, Andrea
2 Shankar, Natarajan
...and 350 more Authors
all top 5

Cited in 74 Serials

62 Theoretical Computer Science
27 Annals of Pure and Applied Logic
25 Information and Computation
20 MSCS. Mathematical Structures in Computer Science
14 The Journal of Symbolic Logic
12 Journal of Pure and Applied Algebra
9 Journal of Automated Reasoning
7 Journal of Functional Programming
6 The Bulletin of Symbolic Logic
6 RAIRO. Theoretical Informatics and Applications
5 Journal of Logic, Language and Information
5 Journal of Applied Logic
4 Studia Logica
4 Annals of Mathematics and Artificial Intelligence
4 Logica Universalis
4 Logical Methods in Computer Science
3 Journal of Mathematical Analysis and Applications
3 Topology and its Applications
3 RAIRO. Informatique Théorique et Applications
3 Applied Categorical Structures
3 The Journal of Logic and Algebraic Programming
3 Tbilisi Mathematical Journal
2 Information Sciences
2 Journal of Computer and System Sciences
2 Notre Dame Journal of Formal Logic
2 Journal of Symbolic Computation
2 Formal Aspects of Computing
2 Archive for Mathematical Logic
2 Applicable Algebra in Engineering, Communication and Computing
2 Journal of Knot Theory and its Ramifications
2 Higher-Order and Symbolic Computation
2 ACM Transactions on Computational Logic
2 Journal of Logical and Algebraic Methods in Programming
1 Acta Informatica
1 Artificial Intelligence
1 Computers & Mathematics with Applications
1 International Journal of Control
1 International Journal of Theoretical Physics
1 Information Processing Letters
1 Journal of the Franklin Institute
1 Mathematical Proceedings of the Cambridge Philosophical Society
1 Integral Equations and Operator Theory
1 Journal of Algebra
1 Journal of Philosophical Logic
1 Mathematische Zeitschrift
1 Numerical Functional Analysis and Optimization
1 Proceedings of the American Mathematical Society
1 Publications of the Research Institute for Mathematical Sciences, Kyoto University
1 Synthese
1 Transactions of the American Mathematical Society
1 Bulletin of the Section of Logic
1 Science of Computer Programming
1 Acta Mathematica Hungarica
1 Journal of Computer Science and Technology
1 Forum Mathematicum
1 International Journal of Foundations of Computer Science
1 Journal of Applied Non-Classical Logics
1 Journal of Mathematical Sciences (New York)
1 Diagrammes
1 Mathematical Logic Quarterly (MLQ)
1 Mathematical Problems in Engineering
1 Journal of Group Theory
1 International Journal of Applied Mathematics and Computer Science
1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 Comptes Rendus. Mathématique. Académie des Sciences, Paris
1 Frontiers of Mathematics in China
1 Involve
1 Journal of Topology and Analysis
1 Journal of Logic and Analysis
1 European Journal for Philosophy of Science
1 Journal of Theoretical Biology
1 Computability
1 Algebra
1 Nonlinear Analysis. Theory, Methods & Applications

Citations by Year