# zbMATH — the first resource for mathematics

## Taylor, Paul M.

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

#### Co-Authors

 1 single-authored 2 Gray, John O. 1 Bull, Steve J. 1 Hayton, Gaynor E. 1 Lin, Hua

#### Serials

 1 Automatica 1 Mathematical and Computer Modelling

#### Fields

 4 Systems theory; control (93-XX) 1 Computer science (68-XX) 1 Mechanics of particles and systems (70-XX) 1 Mechanics of deformable solids (74-XX)

#### 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
1989
Practical foundations of mathematics. Zbl 0939.18001
Taylor, Paul
1999
An algebraic approach to stable domains. Zbl 0705.18004
Taylor, Paul
1990
Geometric and higher order logic in terms of abstract Stone duality. Zbl 0969.18004
Taylor, Paul
2000
A lambda calculus for real analysis. Zbl 1285.03006
Taylor, Paul
2010
Sober spaces and continuations. Zbl 1007.03058
Taylor, Paul
2002
Introducing doodles. Zbl 0409.57003
Fenn, Roger; Taylor, Paul
1979
Bochner-Riesz means with respect to a rough distance function. Zbl 1135.42008
Taylor, Paul
2007
Subspaces in abstract Stone duality. Zbl 1008.18005
Taylor, Paul
2002
Intuitionistic sets and ordinals. Zbl 0858.03058
Taylor, Paul
1996
The Dedekind reals in abstract Stone duality. Zbl 1262.03130
Bauer, Andrej; Taylor, Paul
2009
Involutions in Janko’s simple group $$J_4$$. Zbl 1296.20013
Rowley, Peter; Taylor, Paul
2011
Computably based locally compact spaces. Zbl 1126.03041
Taylor, Paul
2006
Weak type estimates for maximal operators with a cylindric distance function. Zbl 1105.42007
Hong, Sunggeum; Taylor, Paul; Yang, Chan Woo
2006
Computer aided design of multivariable nonlinear control systems using frequency domain techniques. Zbl 0416.93059
Gray, J. O.; Taylor, P. M.
1979
Foundations for computable topology. Zbl 1317.03041
Taylor, Paul
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.
2005
A note on Russell’s paradox in locally Cartesian closed categories. Zbl 0702.03036
Pitts, Andrew M.; Taylor, Paul
1989
Involutions in the automorphism groups of small sporadic simple groups. Zbl 1352.20010
Bates, Chris; Rowley, Peter; Taylor, Paul
2015
Point-line collinearity graphs of two sporadic minimal parabolic geometries. Zbl 1277.20016
Rowley, Peter; Taylor, Paul
2011
Normalizers of 2-subgroups in black-box groups. Zbl 1260.20027
Rowley, Peter; Taylor, Paul
2010
Inside every model of abstract Stone duality lies an arithmetic universe. Zbl 1272.03165
Taylor, Paul
2005
Involutions in the automorphism groups of small sporadic simple groups. Zbl 1352.20010
Bates, Chris; Rowley, Peter; Taylor, Paul
2015
Involutions in Janko’s simple group $$J_4$$. Zbl 1296.20013
Rowley, Peter; Taylor, Paul
2011
Foundations for computable topology. Zbl 1317.03041
Taylor, Paul
2011
Point-line collinearity graphs of two sporadic minimal parabolic geometries. Zbl 1277.20016
Rowley, Peter; Taylor, Paul
2011
A lambda calculus for real analysis. Zbl 1285.03006
Taylor, Paul
2010
Normalizers of 2-subgroups in black-box groups. Zbl 1260.20027
Rowley, Peter; Taylor, Paul
2010
The Dedekind reals in abstract Stone duality. Zbl 1262.03130
Bauer, Andrej; Taylor, Paul
2009
Bochner-Riesz means with respect to a rough distance function. Zbl 1135.42008
Taylor, Paul
2007
Computably based locally compact spaces. Zbl 1126.03041
Taylor, Paul
2006
Weak type estimates for maximal operators with a cylindric distance function. Zbl 1105.42007
Hong, Sunggeum; Taylor, Paul; Yang, Chan Woo
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.
2005
Inside every model of abstract Stone duality lies an arithmetic universe. Zbl 1272.03165
Taylor, Paul
2005
Sober spaces and continuations. Zbl 1007.03058
Taylor, Paul
2002
Subspaces in abstract Stone duality. Zbl 1008.18005
Taylor, Paul
2002
Geometric and higher order logic in terms of abstract Stone duality. Zbl 0969.18004
Taylor, Paul
2000
Practical foundations of mathematics. Zbl 0939.18001
Taylor, Paul
1999
Intuitionistic sets and ordinals. Zbl 0858.03058
Taylor, Paul
1996
An algebraic approach to stable domains. Zbl 0705.18004
Taylor, Paul
1990
Proofs and types. Zbl 0671.68002
Girard, Jean-Yves; Taylor, Paul; Lafont, Yves
1989
A note on Russell’s paradox in locally Cartesian closed categories. Zbl 0702.03036
Pitts, Andrew M.; Taylor, Paul
1989
Introducing doodles. Zbl 0409.57003
Fenn, Roger; Taylor, Paul
1979
Computer aided design of multivariable nonlinear control systems using frequency domain techniques. Zbl 0416.93059
Gray, J. O.; Taylor, P. M.
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
all top 5

#### Cited in 25 Fields

 219 Mathematical logic and foundations (03-XX) 189 Computer science (68-XX) 53 Category theory; homological algebra (18-XX) 33 Order, lattices, ordered algebraic structures (06-XX) 20 General topology (54-XX) 7 Harmonic analysis on Euclidean spaces (42-XX) 7 Manifolds and cell complexes (57-XX) 6 General algebraic systems (08-XX) 5 Group theory and generalizations (20-XX) 4 Combinatorics (05-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Quantum theory (81-XX) 3 Biology and other natural sciences (92-XX) 3 Systems theory; control (93-XX) 3 Information and communication theory, circuits (94-XX) 2 General and overarching topics; collections (00-XX) 2 Real functions (26-XX) 2 Probability theory and stochastic processes (60-XX) 2 Mechanics of particles and systems (70-XX) 1 History and biography (01-XX) 1 Operator theory (47-XX) 1 Geometry (51-XX) 1 Algebraic topology (55-XX) 1 Operations research, mathematical programming (90-XX) 1 Mathematics education (97-XX)