On lazy natural numbers with applications to computability theory and functional programming. - Martín Hötzel Escardó (SIGACT News, 1993)

Recursion and Induction on the Real Line. - Martín Hötzel Escardó (Theory and Formal Methods, 1994)

PCF Extended with Real Numbers. - Martín Hötzel Escardó (Theor. Comput. Sci., 1996)

Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras. - Martín Hötzel Escardó; Thomas Streicher (LICS, 1997)

Semantics of Exact Real Arithmetic. - Peter John Potts; Abbas Edalat; Martín Hötzel Escardó (LICS, 1997)

Effective and sequential definition by cases on the reals via infinite signed-digit numerals. - Martín Hötzel Escardó (COMPROX, 1997)

PCF extended with real numbers : a domain-theoretic approach to higher-order exact real number computation. - Martín Hötzel Escardó (1997)

Calculus in Coinductive Form. - Dusko Pavlovic; Martín Hötzel Escardó (LICS, 1998)

On the Compact-regular Coreflection of a Stably Locally Compact Locale. - Martín Hötzel Escardó (MFPS, 1999)

Semantic Domains, Injective Spaces and Monads. - Martín Hötzel Escardó; Bob Flagg (MFPS, 1999)

Induction and Recursion on the Partial Real Line with Applications to Real PCF. - Martín Hötzel Escardó; Thomas Streicher (Theor. Comput. Sci., 1999)

Hausdorff compactifications of topological function spaces via the theory of continuous lattices. - Martín Hötzel Escardó (MFCSIT, 2000)

Integration in Real PCF. - Abbas Edalat; Martín Hötzel Escardó (Inf. Comput., 2000)

A Universal Characterization of the Closed Euclidean Interval. - Martín Hötzel Escardó; Alex K. Simpson (LICS, 2001)

Comparing Functional Paradigms for Exact Real-Number Computation. - Andrej Bauer; Martín Hötzel Escardó; Alex K. Simpson (ICALP, 2002)

Preface. - Martín Hötzel Escardó; Achim Jung (Workshop on Domains, 2002)

In Domain Realizability, not all Functionals on C[-1, 1] are Continuous. - Martín Hötzel Escardó; Thomas Streicher (Math. Log. Q., 2002)

Joins in the Frame of Nuclei. - Martín Hötzel Escardó (Appl. Categorical Struct., 2003)

Synthetic Topology: of Data Types and Classical Spaces. - Martín Hötzel Escardó (DTMPP, 2003)

Preface. - Jirí Adámek; Martín Hötzel Escardó; Martin Hofmann 001 (Theor. Comput. Sci., 2003)

On the non-sequential nature of the interval-domain model of real-number computation. - Martín Hötzel Escardó; Martin Hofmann 001; Thomas Streicher (Math. Struct. Comput. Sci., 2004)

Preface: Recent Developments in Domain Theory: A collection of papers in honour of Dana S. Scott. - Lars Birkedal; Martín Hötzel Escardó; Achim Jung; Giuseppe Rosolini (Theor. Comput. Sci., 2004)

Compactness in Topology and Computation. - Martín Hötzel Escardó (CCA, 2005)

Operational Domain Theory and Topology of a Sequential Programming Language. - Martín Hötzel Escardó; Weng Kin Ho (LICS, 2005)

Preface. - Martín Hötzel Escardó; Achim Jung; Michael W. Mislove (MFPS, 2005)

Guest editors' introduction: Special issue on practical development of exact real number computation. - Norbert Th. Müller; Martín Hötzel Escardó; Paul Zimmermann (J. Log. Algebraic Methods Program., 2005)

The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces. - Ben Cohen; Martín Hötzel Escardó; Klaus Keimel (TAMC, 2006)

Compactly generated Hausdorff locales. - Martín Hötzel Escardó (Ann. Pure Appl. Log., 2006)

Preface. - Martín Hötzel Escardó; Achim Jung; Thomas Streicher (Math. Struct. Comput. Sci., 2006)

On the computational content of the Lawson topology. - Frédéric De Jaeger; Martín Hötzel Escardó; Gabriele Santini (Theor. Comput. Sci., 2006)

Infinite sets that admit fast exhaustive search. - Martín Hötzel Escardó (LICS, 2007)

Semantics of a sequential language for exact real-number computation. - José Raymundo Marcial-Romero; Martín Hötzel Escardó (Theor. Comput. Sci., 2007)

Exhaustible Sets in Higher-type Computation. - Martín Hötzel Escardó (Log. Methods Comput. Sci., 2008)

Theory and Practice of Higher-type Computation (Tutorial). - Martín Hötzel Escardó (CCA, 2009)

Computability of Continuous Solutions of Higher-Type Equations. - Martín Hötzel Escardó (CiE, 2009)

Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting. - Martín Hötzel Escardó (MFPS, 2009)

Operational domain theory and topology of sequential programming languages. - Martín Hötzel Escardó; Weng Kin Ho (Inf. Comput., 2009)

Computational Interpretations of Analysis via Products of Selection Functions. - Martín Hötzel Escardó; Paulo Oliva (CiE, 2010)

The Peirce Translation and the Double Negation Shift. - Martín Hötzel Escardó; Paulo Oliva (CiE, 2010)

What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift Have in Common. - Martín Escardó; Paulo Oliva (MSFP@ICFP, 2010)

Selection functions, bar recursion and backward induction. - Martín Hötzel Escardó; Paulo Oliva (Math. Struct. Comput. Sci., 2010)

System T and the Product of Selection Functions. - Martín Hötzel Escardó; Paulo Oliva; Thomas Powell 001 (CSL, 2011)

Computing Nash Equilibria of Unbounded Games. - Martín Hötzel Escardó; Paulo Oliva (Turing-100, 2012)

The Peirce translation. - Martín Hötzel Escardó; Paulo Oliva (Ann. Pure Appl. Log., 2012)

Generalizations of Hedberg's Theorem. - Nicolai Kraus; Martín Hötzel Escardó; Thierry Coquand; Thorsten Altenkirch (TLCA, 2013)

A Constructive Model of Uniform Continuity. - Chuangjie Xu; Martín Hötzel Escardó (TLCA, 2013)

Continuity of Gödel's System T Definable Functionals via Effectful Forcing. - Martín Hötzel Escardó (MFPS, 2013)

Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics. - Martín Escardó (J. Symb. Log., 2013)

Algorithmic solution of higher type equations. - Martín Hötzel Escardó (J. Log. Comput., 2013)

Abstract Datatypes for Real Numbers in Type Theory. - Martín Hötzel Escardó; Alex Simpson (RTA-TLCA, 2014)

The Inconsistency of a Brouwerian Continuity Principle with the Curry-Howard Interpretation. - Martín Hötzel Escardó; Chuangjie Xu (TLCA, 2015)

Preface. - Ulrich Berger 001; Jens Blanck; Martín Escardó; Klaus Keimel (J. Log. Algebraic Methods Program., 2015)

Bar Recursion and Products of Selection Functions. - Martín Escardó; Paulo Oliva (J. Symb. Log., 2015)

Constructive decidability of classical continuity. - Martín Escardó (Math. Struct. Comput. Sci., 2015)

Parametricity, Automorphisms of the Universe, and Excluded Middle. - Auke Bart Booij; Martín Hötzel Escardó; Peter LeFanu Lumsdaine; Michael Shulman (TYPES, 2016)

The intrinsic topology of Martin-Löf universes. - Martín Hötzel Escardó; Thomas Streicher (Ann. Pure Appl. Log., 2016)

A constructive manifestation of the Kleene-Kreisel continuous functionals. - Martín Escardó; Chuangjie Xu (Ann. Pure Appl. Log., 2016)

Partial Elements and Recursion via Dominances in Univalent Type Theory. - Martín Hötzel Escardó; Cory M. Knapp (CSL, 2017)

Notions of Anonymous Existence in Martin-Löf Type Theory. - Nicolai Kraus; Martín Escardó; Thierry Coquand; Thorsten Altenkirch (Log. Methods Comput. Sci., 2017)

The Herbrand Functional Interpretation of the double Negation Shift. - Martín Escardó; Paulo Oliva (J. Symb. Log., 2017)

Formalization of Mathematics in Type Theory (Dagstuhl Seminar 18341). - Andrej Bauer; Martín Hötzel Escardó; Peter LeFanu Lumsdaine; Assia Mahboubi (Dagstuhl Reports, 2018)

Introduction to Univalent Foundations of Mathematics with Agda. - Martín Hötzel Escardó (CoRR, 2019)

A Note on Generalized Algebraic Theories and Categories with Families. - Marc Bezem; Thierry Coquand; Peter Dybjer; Martín Escardó (CoRR, 2020)

Domain Theory in Constructive and Predicative Univalent Foundations. - Tom de Jong; Martín Hötzel Escardó (CSL, 2021)

Predicative Aspects of Order Theory in Univalent Foundations. - Tom de Jong; Martín Hötzel Escardó (FSCD, 2021)

Size Matters in Univalent Foundations. - Tom de Jong; Martín Hötzel Escardó (CoRR, 2021)

On generalized algebraic theories and categories with families. - Marc Bezem; Thierry Coquand; Peter Dybjer; Martín Escardó (Math. Struct. Comput. Sci., 2021)

Injective types in univalent mathematics. - Martín Hötzel Escardó (Math. Struct. Comput. Sci., 2021)

Type Theory with Explicit Universe Polymorphism. - Marc Bezem; Thierry Coquand; Peter Dybjer; Martín Escardó (TYPES, 2022)

Type Theories with Universe Level Judgements. - Marc Bezem; Thierry Coquand; Peter Dybjer; Martín Escardó (CoRR, 2022)

Patch Locale of a Spectral Locale in Univalent Type Theory. - Ayberk Tosun; Martín Hötzel Escardó (MFPS, 2023)

Kreisel's counter-example to full abstraction of the set-theoretical model of Goedel's system T. - Martín Escardó (CoRR, 2023)

On Small Types in Univalent Foundations. - Tom de Jong; Martín Hötzel Escardó (Log. Methods Comput. Sci., 2023)

Higher-order games with dependent types. - Martín Escardó; Paulo Oliva (Theor. Comput. Sci., 2023)

The Patch Topology in Univalent Foundations. - Igor Arrieta; Martín Hötzel Escardó; Ayberk Tosun (CoRR, 2024)

Domain theory in univalent foundations II: Continuous and algebraic domains. - Tom de Jong; Martín Hötzel Escardó (CoRR, 2024)

Internal Effectful Forcing in System T. - Martín Hötzel Escardó; Bruno da Rocha Paiva; Vincent Rahli; Ayberk Tosun (FSCD, 2025)