Martín Hötzel Escardó

76 papers A* 9B 12C 6Journal 37Unranked 11

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