Edit Profile (opens in new tab) Hötzel Escardó, Martín Co-Author Distance Author ID: hotzel-escardo.martin Published as: Escardó, Martín; Hötzel Escardó, Martín; Escardó, Martín Hötzel; Escardó, Martín H.; Escardo, Martín; Escardo, M.; Escardo, Martin; Escardó, M. more...less Homepage: http://www.cs.bham.ac.uk/~mhe/ External Links: MGP · Google Scholar · ResearchGate · dblp Documents Indexed: 55 Publications since 1992 3 Contributions as Editor · 1 Further Contribution Co-Authors: 30 Co-Authors with 38 Joint Publications 565 Co-Co-Authors all top 5 Co-Authors 21 single-authored 9 Oliva, Paulo 4 Coquand, Thierry 4 Streicher, Thomas 3 Altenkirch, Thorsten 3 Keimel, Klaus 3 Kraus, Nicolai 3 Simpson, Alex K. 3 Xu, Chuangjie 2 Bauer, Andrej 2 Bezem, Marc 2 de Jong, Tom J. 2 Dybjer, Peter 2 Hofmann, Martin 2 Jung, Achim 1 Aczel, Peter 1 Ahrens, Benedikt 1 Angiuli, Carlo 1 Avigad, Jeremy 1 Awodey, Steve 1 Barras, Bruno 1 Berger, Ulrich 1 Bertot, Yves 1 Blanck, Jens 1 Bordg, Anthony 1 Brunerie, Guillaume 1 Claudio, Dalcidio M. 1 Cohen, Ben 1 Cohen, Cyril 1 Constable, Robert Lee 1 Curien, Pierre-Louis 1 De Jaeger, Frédéric 1 Edalat, Abbas 1 Erker, Thomas 1 Finster, Eric 1 Flagg, Bob 1 Franciosi, Beatriz Regina Tavares 1 Gambino, Nicola 1 Garner, Richard 1 Gonthier, Georges 1 Grayson, Daniel Richard 1 Hales, Thomas Callister 1 Harper, Robert 1 Heckmann, Reinhold 1 Herbelin, Hugo 1 Ho, Weng Kin 1 Hofstra, Pieter J. W. 1 Hou (Favonia), Kuen-Bang 1 Joyal, André 1 Kapulkin, Krzysztof 1 Knapp, Cory M. 1 Kock, Joachim 1 Lawson, Jimmie Don 1 Li, Nuo 1 Licata, Dan 1 Lumsdaine, Peter LeFanu 1 Luo, Zhaohui 1 Mahboubi, Assia 1 Marcial-Romero, José Raymundo 1 Martin-Löf, Per 1 Melikhov, Sergey Aleksandrovich 1 Mislove, Michael W. 1 Nahas, Michael 1 Palmgren, Erik 1 Pelayo, Alvaro 1 Polonsky, Andrew 1 Riehl, Emily 1 Rijke, Egbert 1 Santini, Gabriele 1 Scott, Dana Stewart 1 Scott, Philip J. 1 Shulman, Michael A. 1 Sojakova, Kristina 1 Solov’ëv, Sergeĭ Vladimirovich 1 Sozeau, Matthieu 1 Spitters, Bas 1 1 Van den Berg, Benno 1 Voevodskiĭ, Vladimir Aleksandrovich 1 Warren, Michael Alton 1 Zeilberger, Noam all top 5 Serials 5 Theoretical Computer Science 5 MSCS. Mathematical Structures in Computer Science 4 Topology and its Applications 4 Annals of Pure and Applied Logic 3 The Journal of Symbolic Logic 3 Logical Methods in Computer Science 2 Information and Computation 2 Topology Proceedings 2 Electronic Notes in Theoretical Computer Science 1 Journal of Pure and Applied Algebra 1 Journal of Logic and Computation 1 Applied Categorical Structures 1 Mathematical Logic Quarterly (MLQ) 1 Interval Computations 1 Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 Applied General Topology 1 Journal of Homotopy and Related Structures 1 Journal of Logical and Algebraic Methods in Programming all top 5 Fields 35 Mathematical logic and foundations (03-XX) 23 Computer science (68-XX) 18 Order, lattices, ordered algebraic structures (06-XX) 15 General topology (54-XX) 10 Category theory; homological algebra (18-XX) 3 General and overarching topics; collections (00-XX) 3 Algebraic topology (55-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Numerical analysis (65-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 46 Publications have been cited 454 times in 313 Documents Cited by ▼ Year ▼ Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 122 2013 PCF extended with real numbers. Zbl 0871.68034Hötzel Escardó, Martín 55 1996 Properly injective spaces and function spaces. Zbl 0922.06008Hötzel Escardó, Martín 44 1998 Comparing Cartesian closed categories of (core) compactly generated spaces. Zbl 1066.54028Escardó, Martín; Lawson, Jimmie; Simpson, Alex 39 2004 Synthetic topology: of data types and classical spaces. Zbl 1270.68082Escardó, Martín 25 2004 The regular-locally compact coreflection of a stably locally compact locale. Zbl 0973.06011Escardó, Martín Hötzel 24 2001 Topologies on spaces of continuous functions. Zbl 1083.54009Escardó, Martín; Heckmann, Reinhold 22 2002 Selection functions, bar recursion and backward induction. Zbl 1207.03072Escardó, Martín; Oliva, Paulo 18 2010 Injective spaces via the filter monad. Zbl 0953.54014Hötzel Escardó, Martín 17 1997 The way-below relation of function spaces over semantic domains. Zbl 0922.06009Erker, Thomas; Hötzel Escardó, Martín; Keimel, Klaus 16 1998 The inconsistency of a Brouwerian continuity principle with the Curry-Howard interpretation. Zbl 1433.03030Escardó, Martín Hötzel; Xu, Chuangjie 16 2015 Sequential games and optimal strategies. Zbl 1228.91009Escardó, Martín; Oliva, Paulo 15 2011 Semantics of a sequential language for exact real-number computation. Zbl 1118.68083Marcial-Romero, J. Raymundo; Escardó, Martín H. 14 2007 Joins in the frame of nuclei. Zbl 1022.06003Escardó, Martín H. 9 2003 Injective locales over perfect embeddings and algebras of the upper powerlocale monad. Zbl 1061.06025Escardó, Martín 8 2003 Exhaustible sets in higher-type computation. Zbl 1151.03022Escardó, Martín 8 2008 Semantic domains, injective spaces and monads. Zbl 0924.68116Escardo, M.; Flagg, B. 8 1999 Integration in Real PCF. Zbl 1005.03035Edalat, Abbas; Escardó, Martín Hötzel 8 2000 Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics. Zbl 1308.03060Escardó, Martín 8 2013 On the non-sequential nature of the interval-domain model of real-number computation. Zbl 1067.68070Escardó, Martín; Hofmann, Martin; Streicher, Thomas 7 2004 Induction and recursion on the partial real line with applications to Real PCF. Zbl 0912.68123Hötzel Escardó, Martín; Streicher, Thomas 6 1999 On the compact-regular coreflection of a stably compact locale. Zbl 0921.54010Hötzel Escardó, Martín 6 1999 A constructive manifestation of the Kleene-Kreisel continuous functionals. Zbl 1402.03020Escardó, Martín; Xu, Chuangjie 6 2016 A constructive model of uniform continuity. Zbl 1433.03155Xu, Chuangjie; Escardó, Martín 5 2013 Operational domain theory and topology of sequential programming languages. Zbl 1263.68104Escardó, Martín; Ho, Weng Kin 5 2009 The Peirce translation and the double negation shift. Zbl 1251.03065Escardó, Martín; Oliva, Paulo 5 2010 The extended probabilistic powerdomain monad over stably compact spaces. (Extended abstract). Zbl 1178.68328Cohen, Ben; Escardo, Martin; Keimel, Klaus 5 2006 The Herbrand functional interpretation of the double negation shift. Zbl 1419.03051Escardó, Martín; Oliva, Paulo 5 2017 Continuity of Gödel’s system T definable functionals via effectful forcing. Zbl 1334.68126Escardó, Martín 5 2013 Notions of anonymous existence in Martin-Löf type theory. Zbl 1377.03005Kraus, Nicolai; Escardó, Martín; Coquand, Thierry; Altenkirch, Thorsten 5 2017 Partial elements and recursion via dominances in univalent type theory. Zbl 1434.03037Escardó, Martín H.; Knapp, Cory M. 5 2017 Generalizations of Hedberg’s theorem. Zbl 1433.03032Kraus, Nicolai; Escardó, Martín; Coquand, Thierry; Altenkirch, Thorsten 4 2013 Induction and recursion on the real line. Zbl 0841.03026Hötzel Escardó, Martín 4 1995 Computational interpretations of analysis via products of selection functions. Zbl 1251.03073Escardó, Martín; Oliva, Paulo 4 2010 Semi-decidability of may, must and probabilistic testing in a higher-type setting. Zbl 1337.68068Escardó, Martín 4 2009 The Peirce translation. Zbl 1251.03068Escardó, Martín; Oliva, Paulo 3 2012 Predicative aspects of order theory in univalent foundations. Zbl 07700613De Jong, Tom; Escardó, Martín Hötzel 3 2021 Bar recursion and products of selection functions. Zbl 1380.03064Escardó, Martín; Oliva, Paulo 3 2015 Constructive decidability of classical continuity. Zbl 1362.03055Escardó, Martín 2 2015 System T and the product of selection functions. Zbl 1247.03120Escardo, Martín; Oliva, Paulo; Powell, Thomas 2 2011 On the computational content of the Lawson topology. Zbl 1107.03050De Jaeger, Frédéric; Escardó, Martín; Santini, Gabriele 1 2006 Compactly generated Hausdorff locales. Zbl 1080.54017Escardó, Martín H. 1 2006 Algorithmic solution of higher type equations. Zbl 1270.03065Escardó, Martín 1 2013 Function-space compactifications of function spaces. Zbl 1012.54023Escardó, Martín H. 1 2002 Abstract datatypes for real numbers in type theory. Zbl 1416.68036Escardó, Martín Hötzel; Simpson, Alex 1 2014 The intrinsic topology of Martin-Löf universes. Zbl 1402.03022Hötzel Escardó, Martín; Streicher, Thomas 1 2016 Predicative aspects of order theory in univalent foundations. Zbl 07700613De Jong, Tom; Escardó, Martín Hötzel 3 2021 The Herbrand functional interpretation of the double negation shift. Zbl 1419.03051Escardó, Martín; Oliva, Paulo 5 2017 Notions of anonymous existence in Martin-Löf type theory. Zbl 1377.03005Kraus, Nicolai; Escardó, Martín; Coquand, Thierry; Altenkirch, Thorsten 5 2017 Partial elements and recursion via dominances in univalent type theory. Zbl 1434.03037Escardó, Martín H.; Knapp, Cory M. 5 2017 A constructive manifestation of the Kleene-Kreisel continuous functionals. Zbl 1402.03020Escardó, Martín; Xu, Chuangjie 6 2016 The intrinsic topology of Martin-Löf universes. Zbl 1402.03022Hötzel Escardó, Martín; Streicher, Thomas 1 2016 The inconsistency of a Brouwerian continuity principle with the Curry-Howard interpretation. Zbl 1433.03030Escardó, Martín Hötzel; Xu, Chuangjie 16 2015 Bar recursion and products of selection functions. Zbl 1380.03064Escardó, Martín; Oliva, Paulo 3 2015 Constructive decidability of classical continuity. Zbl 1362.03055Escardó, Martín 2 2015 Abstract datatypes for real numbers in type theory. Zbl 1416.68036Escardó, Martín Hötzel; Simpson, Alex 1 2014 Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 122 2013 Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics. Zbl 1308.03060Escardó, Martín 8 2013 A constructive model of uniform continuity. Zbl 1433.03155Xu, Chuangjie; Escardó, Martín 5 2013 Continuity of Gödel’s system T definable functionals via effectful forcing. Zbl 1334.68126Escardó, Martín 5 2013 Generalizations of Hedberg’s theorem. Zbl 1433.03032Kraus, Nicolai; Escardó, Martín; Coquand, Thierry; Altenkirch, Thorsten 4 2013 Algorithmic solution of higher type equations. Zbl 1270.03065Escardó, Martín 1 2013 The Peirce translation. Zbl 1251.03068Escardó, Martín; Oliva, Paulo 3 2012 Sequential games and optimal strategies. Zbl 1228.91009Escardó, Martín; Oliva, Paulo 15 2011 System T and the product of selection functions. Zbl 1247.03120Escardo, Martín; Oliva, Paulo; Powell, Thomas 2 2011 Selection functions, bar recursion and backward induction. Zbl 1207.03072Escardó, Martín; Oliva, Paulo 18 2010 The Peirce translation and the double negation shift. Zbl 1251.03065Escardó, Martín; Oliva, Paulo 5 2010 Computational interpretations of analysis via products of selection functions. Zbl 1251.03073Escardó, Martín; Oliva, Paulo 4 2010 Operational domain theory and topology of sequential programming languages. Zbl 1263.68104Escardó, Martín; Ho, Weng Kin 5 2009 Semi-decidability of may, must and probabilistic testing in a higher-type setting. Zbl 1337.68068Escardó, Martín 4 2009 Exhaustible sets in higher-type computation. Zbl 1151.03022Escardó, Martín 8 2008 Semantics of a sequential language for exact real-number computation. Zbl 1118.68083Marcial-Romero, J. Raymundo; Escardó, Martín H. 14 2007 The extended probabilistic powerdomain monad over stably compact spaces. (Extended abstract). Zbl 1178.68328Cohen, Ben; Escardo, Martin; Keimel, Klaus 5 2006 On the computational content of the Lawson topology. Zbl 1107.03050De Jaeger, Frédéric; Escardó, Martín; Santini, Gabriele 1 2006 Compactly generated Hausdorff locales. Zbl 1080.54017Escardó, Martín H. 1 2006 Comparing Cartesian closed categories of (core) compactly generated spaces. Zbl 1066.54028Escardó, Martín; Lawson, Jimmie; Simpson, Alex 39 2004 Synthetic topology: of data types and classical spaces. Zbl 1270.68082Escardó, Martín 25 2004 On the non-sequential nature of the interval-domain model of real-number computation. Zbl 1067.68070Escardó, Martín; Hofmann, Martin; Streicher, Thomas 7 2004 Joins in the frame of nuclei. Zbl 1022.06003Escardó, Martín H. 9 2003 Injective locales over perfect embeddings and algebras of the upper powerlocale monad. Zbl 1061.06025Escardó, Martín 8 2003 Topologies on spaces of continuous functions. Zbl 1083.54009Escardó, Martín; Heckmann, Reinhold 22 2002 Function-space compactifications of function spaces. Zbl 1012.54023Escardó, Martín H. 1 2002 The regular-locally compact coreflection of a stably locally compact locale. Zbl 0973.06011Escardó, Martín Hötzel 24 2001 Integration in Real PCF. Zbl 1005.03035Edalat, Abbas; Escardó, Martín Hötzel 8 2000 Semantic domains, injective spaces and monads. Zbl 0924.68116Escardo, M.; Flagg, B. 8 1999 Induction and recursion on the partial real line with applications to Real PCF. Zbl 0912.68123Hötzel Escardó, Martín; Streicher, Thomas 6 1999 On the compact-regular coreflection of a stably compact locale. Zbl 0921.54010Hötzel Escardó, Martín 6 1999 Properly injective spaces and function spaces. Zbl 0922.06008Hötzel Escardó, Martín 44 1998 The way-below relation of function spaces over semantic domains. Zbl 0922.06009Erker, Thomas; Hötzel Escardó, Martín; Keimel, Klaus 16 1998 Injective spaces via the filter monad. Zbl 0953.54014Hötzel Escardó, Martín 17 1997 PCF extended with real numbers. Zbl 0871.68034Hötzel Escardó, Martín 55 1996 Induction and recursion on the real line. Zbl 0841.03026Hötzel Escardó, Martín 4 1995 all cited Publications top 5 cited Publications all top 5 Cited by 311 Authors 23 Hötzel Escardó, Martín 12 Hofmann, Dirk 10 Oliva, Paulo 9 Altun, Ishak 9 Xi, Xiaoyong 7 Edalat, Abbas 7 Goubault-Larrecq, Jean 7 Zhao, Dongsheng 6 Ho, Weng Kin 6 Jordan, Francis 6 Kadelburg, Zoran 6 Moshier, M. Andrew 6 Normann, Dag 6 Radenovic, Stojan 6 Sanders, Sam 6 Schröder, Matthias 6 Xu, Xiaoquan 5 Berger, Ulrich 5 Georgiou, Dimitrios N. 5 Jung, Achim 5 Kawai, Tatsuji 5 Sousa, Lurdes 4 Acar, Özlem 4 Anberrée, Thomas 4 Clementino, Maria Manuel 4 Iliadis, Stavros D. 4 Nashine, Hemant Kumar 4 Romaguera Bonilla, Salvador 4 Shen, Chong 3 Bauer, Andrej 3 Blanck, Jens 3 Heckmann, Reinhold 3 Jia, Xiaodong 3 Keimel, Klaus 3 Kraus, Nicolai 3 Marcial-Romero, José Raymundo 3 Smyth, Michael B. 3 Spreen, Dieter 3 Steinberg, Florian 3 Thies, Holger 3 Valero, Oscar 3 Van den Berg, Benno 3 Vickers, Steven 3 Xu, Chuangjie 2 Adámek, Jiří 2 Alghamdi, Maryam A. 2 Altenkirch, Thorsten 2 Aydi, Hassen Mohamed 2 Battenfeld, Ingo 2 Bickford, Mark 2 Cagliari, Francesca 2 Carvalho, Margarida 2 Coquand, Thierry 2 de Jong, Tom J. 2 Di Gianantonio, Pietro 2 Dube, Themba 2 Freer, Cameron E. 2 Frolova, D. S. 2 Hedges, Jules 2 Hirashima, Yasumasa 2 Karapınar, Erdal 2 Klinke, Olaf Karl 2 Konečný, Michal 2 Kou, Hui 2 Lawson, Jimmie Don 2 Liu, Han 2 López Franco, Ignacio L. 2 Manes, Ernie G. 2 Martin, Keye 2 Martínez, Jorge L. 2 Mirhosseinkhani, Ghasem 2 Mynard, Frédéric 2 Naidoo, Inderasan 2 Ncube, Charles N. 2 Neumann, Eike 2 Nordvall Forsberg, Fredrik 2 Oda, Nobuyuki 2 Paseka, Jan 2 Pattinson, Dirk 2 Pauly, Arno M. 2 Rahli, Vincent 2 Rathjen, Michael 2 Razafindrakoto, Ando 2 Roy, Daniel M. 2 Sadarangani, Kishin B. 2 Sazonov, Vladimir Yu. 2 Schauerte, Anneliese 2 Schellekens, Michel P. 2 Seal, Gavin J. 2 Selivanov, Viktor L’vovich 2 Shahzad, Naseer 2 Shulman, Michael A. 2 Simpson, Alex K. 2 Spitters, Bas 2 Théry, Laurent 2 Tholen, Walter 2 Townsend, Christopher F. 2 Tsuiki, Hideki 2 Uustalu, Tarmo 2 Voorneveld, Niels F. W. ...and 211 more Authors all top 5 Cited in 60 Serials 57 Topology and its Applications 28 MSCS. Mathematical Structures in Computer Science 27 Theoretical Computer Science 16 Applied Categorical Structures 15 Annals of Pure and Applied Logic 10 Logical Methods in Computer Science 9 Journal of Pure and Applied Algebra 7 Fixed Point Theory and Applications 5 The Journal of Symbolic Logic 5 Computability 4 Mathematical Logic Quarterly (MLQ) 3 Algebra Universalis 3 Information and Computation 3 Journal of Automated Reasoning 3 Archive for Mathematical Logic 3 Indagationes Mathematicae. New Series 3 The Bulletin of Symbolic Logic 3 Journal of Logical and Algebraic Methods in Programming 2 Advances in Mathematics 2 Fuzzy Sets and Systems 2 Quaestiones Mathematicae 2 Journal of Functional Programming 2 Theory and Applications of Categories 2 Vietnam Journal of Mathematics 2 Abstract and Applied Analysis 2 Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 2 The Journal of Logic and Algebraic Programming 2 Journal of Applied Mathematics 2 Cahiers de Topologie et Géométrie Différentielle Catégoriques 2 Journal of Fixed Point Theory and Applications 2 Tbilisi Mathematical Journal 1 Ukrainian Mathematical Journal 1 Algebra and Logic 1 Applied Mathematics and Computation 1 Information Sciences 1 Mathematische Nachrichten 1 Proceedings of the Edinburgh Mathematical Society. Series II 1 Rendiconti del Circolo Matemàtico di Palermo. Serie II 1 Semigroup Forum 1 Studia Logica 1 Order 1 Optimization 1 Journal of Complexity 1 Mathematical and Computer Modelling 1 International Journal of Algebra and Computation 1 International Journal of Computer Mathematics 1 Russian Mathematics 1 Theory of Computing Systems 1 Positivity 1 Trudy Instituta Matematiki 1 Foundations of Physics 1 Oberwolfach Reports 1 Journal of Mathematics and Music 1 Nonlinear Analysis. Hybrid Systems 1 Journal of Logic and Analysis 1 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM 1 Arabian Journal of Mathematics 1 Journal of Mahani Mathematical Research Center 1 Mathematical Sciences 1 Sahand Communications in Mathematical Analysis all top 5 Cited in 28 Fields 144 General topology (54-XX) 117 Mathematical logic and foundations (03-XX) 95 Computer science (68-XX) 94 Order, lattices, ordered algebraic structures (06-XX) 73 Category theory; homological algebra (18-XX) 8 Operator theory (47-XX) 8 Algebraic topology (55-XX) 7 Measure and integration (28-XX) 7 Functional analysis (46-XX) 6 Real functions (26-XX) 4 General and overarching topics; collections (00-XX) 4 Topological groups, Lie groups (22-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Associative rings and algebras (16-XX) 3 Probability theory and stochastic processes (60-XX) 3 Numerical analysis (65-XX) 2 General algebraic systems (08-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Quantum theory (81-XX) 2 Systems theory; control (93-XX) 1 Combinatorics (05-XX) 1 Number theory (11-XX) 1 Group theory and generalizations (20-XX) 1 Convex and discrete geometry (52-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year