Martín Hötzel Escardó

ORCID

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 16

Top Venues

CoRR

CSL

Math. Struct. Comput. Sci.

RTA-TLCA

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Igor Arrieta, Martín Hötzel Escardó, Ayberk Tosun
The Patch Topology in Univalent Foundations. CoRR (2024)
Tom de Jong, Martín Hötzel Escardó
Domain theory in univalent foundations II: Continuous and algebraic domains. CoRR (2024)
Ayberk Tosun, Martín Hötzel Escardó
Patch Locale of a Spectral Locale in Univalent Type Theory. CoRR (2023)
Tom de Jong, Martín Hötzel Escardó
On Small Types in Univalent Foundations. Log. Methods Comput. Sci. 19 (2) (2023)
Tom de Jong, Martín Hötzel Escardó
Domain Theory in Constructive and Predicative Univalent Foundations. CSL (2021)
Tom de Jong, Martín Hötzel Escardó
Predicative Aspects of Order Theory in Univalent Foundations. CoRR (2021)
Martín Hötzel Escardó
Injective types in univalent mathematics. Math. Struct. Comput. Sci. 31 (1) (2021)
Tom de Jong, Martín Hötzel Escardó
Size Matters in Univalent Foundations. CoRR (2021)
Tom de Jong, Martín Hötzel Escardó
Predicative Aspects of Order Theory in Univalent Foundations. FSCD (2021)
Tom de Jong, Martín Hötzel Escardó
Domain Theory in Constructive and Predicative Univalent Foundations. CoRR (2020)
Martín Hötzel Escardó
Introduction to Univalent Foundations of Mathematics with Agda. CoRR (2019)
Andrej Bauer, Martín Hötzel Escardó, Peter LeFanu Lumsdaine, Assia Mahboubi
Formalization of Mathematics in Type Theory (Dagstuhl Seminar 18341). Dagstuhl Reports 8 (8) (2018)
Martín Hötzel Escardó, Cory M. Knapp
Partial Elements and Recursion via Dominances in Univalent Type Theory. CSL (2017)
Auke Bart Booij, Martín Hötzel Escardó, Peter LeFanu Lumsdaine, Michael Shulman
Parametricity, automorphisms of the universe, and excluded middle. CoRR (2017)
Auke Bart Booij, Martín Hötzel Escardó, Peter LeFanu Lumsdaine, Michael Shulman
Parametricity, Automorphisms of the Universe, and Excluded Middle. TYPES (2016)
Martín Hötzel Escardó, Thomas Streicher
The intrinsic topology of Martin-Löf universes. Ann. Pure Appl. Log. 167 (9) (2016)
Martín Hötzel Escardó, Chuangjie Xu
The Inconsistency of a Brouwerian Continuity Principle with the Curry-Howard Interpretation. TLCA (2015)
Martín Hötzel Escardó, Paulo Oliva
The Herbrand Functional Interpretation of the Double Negation Shift. CoRR (2014)
Martín Hötzel Escardó, Paulo Oliva
Bar Recursion and Products of Selection Functions. CoRR (2014)
Martín Hötzel Escardó, Alex Simpson
Abstract Datatypes for Real Numbers in Type Theory. RTA-TLCA (2014)
Nicolai Kraus, Martín Hötzel Escardó, Thierry Coquand, Thorsten Altenkirch
Generalizations of Hedberg's Theorem. TLCA (2013)
Martín Hötzel Escardó
Algorithmic solution of higher type equations. J. Log. Comput. 23 (4) (2013)
Martín Hötzel Escardó
Continuity of Gödel's System T Definable Functionals via Effectful Forcing. MFPS (2013)
Chuangjie Xu, Martín Hötzel Escardó
A Constructive Model of Uniform Continuity. TLCA (2013)
Martín Hötzel Escardó, Paulo Oliva
The Peirce translation. Ann. Pure Appl. Log. 163 (6) (2012)
Martín Hötzel Escardó, Paulo Oliva
Computing Nash Equilibria of Unbounded Games. Turing-100 (2012)
Martín Hötzel Escardó, Paulo Oliva, Thomas Powell
System T and the Product of Selection Functions. CSL (2011)
Martín Hötzel Escardó, Paulo Oliva
The Peirce Translation and the Double Negation Shift. CiE (2010)
Martín Hötzel Escardó, Paulo Oliva
Computational Interpretations of Analysis via Products of Selection Functions. CiE (2010)
Martín Hötzel Escardó, Paulo Oliva
Selection functions, bar recursion and backward induction. Math. Struct. Comput. Sci. 20 (2) (2010)
Martín Hötzel Escardó
Computability of Continuous Solutions of Higher-Type Equations. CiE (2009)
Martín Hötzel Escardó, Weng Kin Ho
Operational domain theory and topology of sequential programming languages. Inf. Comput. 207 (3) (2009)
Martín Hötzel Escardó
Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting. MFPS (2009)
Martín Hötzel Escardó
Theory and Practice of Higher-type Computation (Tutorial). CCA (2009)
Martín Hötzel Escardó
Exhaustible Sets in Higher-type Computation. Log. Methods Comput. Sci. 4 (3) (2008)
Martín Hötzel Escardó
Exhaustible sets in higher-type computation CoRR (2008)
Martín Hötzel Escardó
Infinite sets that admit fast exhaustive search. LICS (2007)
Martín Hötzel Escardó, Achim Jung, Thomas Streicher
Preface. Math. Struct. Comput. Sci. 17 (5) (2007)
José Raymundo Marcial-Romero, Martín Hötzel Escardó
Semantics of a sequential language for exact real-number computation. Theor. Comput. Sci. 379 (1-2) (2007)
Frédéric De Jaeger, Martín Hötzel Escardó, Gabriele Santini
On the computational content of the Lawson topology. Theor. Comput. Sci. 357 (1-3) (2006)
Martín Hötzel Escardó
Compactly generated Hausdorff locales. Ann. Pure Appl. Log. 137 (1-3) (2006)
Ben Cohen, Martín Hötzel Escardó, Klaus Keimel
The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces. TAMC (2006)
Martín Hötzel Escardó, Achim Jung, Thomas Streicher
Preface. Math. Struct. Comput. Sci. 16 (2) (2006)
Martín Hötzel Escardó, Weng Kin Ho
Operational Domain Theory and Topology of a Sequential Programming Language. LICS (2005)
Martín Hötzel Escardó, Achim Jung, Michael W. Mislove
Preface. MFPS (2005)
Norbert Th. Müller, Martín Hötzel Escardó, Paul Zimmermann
Guest editors' introduction: Special issue on practical development of exact real number computation. J. Log. Algebraic Methods Program. 64 (1) (2005)
Martín Hötzel Escardó
Compactness in Topology and Computation. CCA (2005)
Martín Hötzel Escardó, Martin Hofmann, Thomas Streicher
On the non-sequential nature of the interval-domain model of real-number computation. Math. Struct. Comput. Sci. 14 (6) (2004)
Lars Birkedal, Martín Hötzel Escardó, Achim Jung, Giuseppe Rosolini
Preface: Recent Developments in Domain Theory: A collection of papers in honour of Dana S. Scott. Theor. Comput. Sci. 316 (1) (2004)
Martín Hötzel Escardó
Synthetic Topology: of Data Types and Classical Spaces. Electron. Notes Theor. Comput. Sci. 87 (2004)
Martín Hötzel Escardó, Achim Jung
Preface. Electron. Notes Theor. Comput. Sci. 73 (2004)
José Raymundo Marcial-Romero, Martín Hötzel Escardó
Semantics of a Sequential Language for Exact Real-Number Computation. LICS (2004)
Martín Hötzel Escardó
Joins in the Frame of Nuclei. Appl. Categorical Struct. 11 (2) (2003)
Jirí Adámek, Martín Hötzel Escardó, Martin Hofmann
Preface. Theor. Comput. Sci. 294 (1/2) (2003)
Andrej Bauer, Martín Hötzel Escardó, Alex K. Simpson
Comparing Functional Paradigms for Exact Real-Number Computation. ICALP (2002)
Martín Hötzel Escardó, Thomas Streicher
[-1, 1] are Continuous. Math. Log. Q. 48 (S1) (2002)
Martín Hötzel Escardó, Alex K. Simpson
A Universal Characterization of the Closed Euclidean Interval. LICS (2001)
Martín Hötzel Escardó
Hausdorff compactifications of topological function spaces via the theory of continuous lattices. Electron. Notes Theor. Comput. Sci. 40 (2000)
Abbas Edalat, Martín Hötzel Escardó
Integration in Real PCF. Inf. Comput. 160 (1-2) (2000)
Martín Hötzel Escardó, Bob Flagg
Semantic Domains, Injective Spaces and Monads. MFPS (1999)
Martín Hötzel Escardó, Thomas Streicher
Induction and Recursion on the Partial Real Line with Applications to Real PCF. Theor. Comput. Sci. 210 (1) (1999)
Martín Hötzel Escardó
On the Compact-regular Coreflection of a Stably Locally Compact Locale. MFPS (1999)
Dusko Pavlovic, Martín Hötzel Escardó
Calculus in Coinductive Form. LICS (1998)
Martín Hötzel Escardó
Effective and sequential definition by cases on the reals via infinite signed-digit numerals. Electron. Notes Theor. Comput. Sci. 13 (1998)
Peter John Potts, Abbas Edalat, Martín Hötzel Escardó
Semantics of Exact Real Arithmetic. LICS (1997)
Martín Hötzel Escardó, Thomas Streicher
Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras. LICS (1997)
Martín Hötzel Escardó
PCF Extended with Real Numbers. Theor. Comput. Sci. 162 (1) (1996)
Abbas Edalat, Martín Hötzel Escardó
Integration in Real PCF. LICS (1996)
Martín Hötzel Escardó
Recursion and Induction on the Real Line. Theory and Formal Methods (1994)
Martín Hötzel Escardó
On lazy natural numbers with applications to computability theory and functional programming. SIGACT News 24 (1) (1993)

Martín Hötzel Escardó.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martín Hötzel Escardó