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