default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMartín Hötzel Escardó
Person information
- affiliation: University of Birmingham, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i15]Igor Arrieta, Martín Hötzel Escardó, Ayberk Tosun:
The Patch Topology in Univalent Foundations. CoRR abs/2402.03134 (2024)- [i14]Tom de Jong
, Martín Hötzel Escardó:
Domain theory in univalent foundations II: Continuous and algebraic domains. CoRR abs/2407.06956 (2024) - 2023
- [j32]Tom de Jong, Martín Hötzel Escardó:
On Small Types in Univalent Foundations. Log. Methods Comput. Sci. 19(2) (2023) - [j31]Martín Escardó, Paulo Oliva:
Higher-order games with dependent types. Theor. Comput. Sci. 974: 114111 (2023) - [c38]Ayberk Tosun, Martín Hötzel Escardó:
Patch Locale of a Spectral Locale in Univalent Type Theory. MFPS 2023 - [i13]Martín Escardó:
Kreisel's counter-example to full abstraction of the set-theoretical model of Goedel's system T. CoRR abs/2303.11075 (2023) - 2022
- [c37]Marc Bezem, Thierry Coquand, Peter Dybjer, Martín Escardó:
Type Theory with Explicit Universe Polymorphism. TYPES 2022: 13:1-13:16 - [i12]Marc Bezem, Thierry Coquand, Peter Dybjer, Martín Escardó:
Type Theories with Universe Level Judgements. CoRR abs/2212.03284 (2022) - [i11]Martín Escardó, Paulo Oliva:
Higher-order Games with Dependent Types. CoRR abs/2212.07735 (2022) - 2021
- [j30]Martín Hötzel Escardó:
Injective types in univalent mathematics. Math. Struct. Comput. Sci. 31(1): 89-111 (2021) - [j29]Marc Bezem, Thierry Coquand, Peter Dybjer, Martín Escardó:
On generalized algebraic theories and categories with families. Math. Struct. Comput. Sci. 31(9): 1006-1023 (2021) - [c36]Tom de Jong, Martín Hötzel Escardó:
Domain Theory in Constructive and Predicative Univalent Foundations. CSL 2021: 28:1-28:18 - [c35]Tom de Jong, Martín Hötzel Escardó:
Predicative Aspects of Order Theory in Univalent Foundations. FSCD 2021: 8:1-8:18 - [i10]Tom de Jong, Martín Hötzel Escardó:
Predicative Aspects of Order Theory in Univalent Foundations. CoRR abs/2102.08812 (2021) - [i9]Tom de Jong, Martín Hötzel Escardó:
Size Matters in Univalent Foundations. CoRR abs/2111.00482 (2021) - 2020
- [i8]Tom de Jong, Martín Hötzel Escardó:
Domain Theory in Constructive and Predicative Univalent Foundations. CoRR abs/2008.01422 (2020) - [i7]Marc Bezem, Thierry Coquand, Peter Dybjer, Martín Escardó:
A Note on Generalized Algebraic Theories and Categories with Families. CoRR abs/2012.08370 (2020)
2010 – 2019
- 2019
- [i6]Martín Hötzel Escardó:
Introduction to Univalent Foundations of Mathematics with Agda. CoRR abs/1911.00580 (2019) - 2018
- [i5]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): 130-155 (2018) - 2017
- [j28]Nicolai Kraus, Martín Escardó, Thierry Coquand, Thorsten Altenkirch:
Notions of Anonymous Existence in Martin-Löf Type Theory. Log. Methods Comput. Sci. 13(1) (2017) - [j27]Martín Escardó, Paulo Oliva:
The Herbrand Functional Interpretation of the double Negation Shift. J. Symb. Log. 82(2): 590-607 (2017) - [c34]Martín Hötzel Escardó, Cory M. Knapp:
Partial Elements and Recursion via Dominances in Univalent Type Theory. CSL 2017: 21:1-21:16 - [i4]Auke Bart Booij, Martín Hötzel Escardó, Peter LeFanu Lumsdaine, Michael Shulman:
Parametricity, automorphisms of the universe, and excluded middle. CoRR abs/1701.05617 (2017) - 2016
- [j26]Martín Escardó, Chuangjie Xu:
A constructive manifestation of the Kleene-Kreisel continuous functionals. Ann. Pure Appl. Log. 167(9): 770-793 (2016) - [j25]Martín Hötzel Escardó, Thomas Streicher:
The intrinsic topology of Martin-Löf universes. Ann. Pure Appl. Log. 167(9): 794-805 (2016) - [c33]Auke Bart Booij, Martín Hötzel Escardó, Peter LeFanu Lumsdaine, Michael Shulman:
Parametricity, Automorphisms of the Universe, and Excluded Middle. TYPES 2016: 7:1-7:14 - 2015
- [j24]Ulrich Berger, Jens Blanck, Martín Escardó, Klaus Keimel:
Preface. J. Log. Algebraic Methods Program. 84(1): 107 (2015) - [j23]Martín Escardó, Paulo Oliva:
Bar Recursion and Products of Selection Functions. J. Symb. Log. 80(1): 1-28 (2015) - [j22]Martín Escardó:
Constructive decidability of classical continuity. Math. Struct. Comput. Sci. 25(7): 1578-1589 (2015) - [c32]Martín Hötzel Escardó, Chuangjie Xu:
The Inconsistency of a Brouwerian Continuity Principle with the Curry-Howard Interpretation. TLCA 2015: 153-164 - 2014
- [c31]Martín Hötzel Escardó, Alex Simpson:
Abstract Datatypes for Real Numbers in Type Theory. RTA-TLCA 2014: 208-223 - [i3]Martín Hötzel Escardó, Paulo Oliva:
Bar Recursion and Products of Selection Functions. CoRR abs/1407.7046 (2014) - [i2]Martín Hötzel Escardó, Paulo Oliva:
The Herbrand Functional Interpretation of the Double Negation Shift. CoRR abs/1410.4353 (2014) - 2013
- [j21]Martín Escardó:
Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics. J. Symb. Log. 78(3): 764-784 (2013) - [j20]Martín Hötzel Escardó:
Algorithmic solution of higher type equations. J. Log. Comput. 23(4): 839-854 (2013) - [c30]Nicolai Kraus, Martín Hötzel Escardó, Thierry Coquand, Thorsten Altenkirch:
Generalizations of Hedberg's Theorem. TLCA 2013: 173-188 - [c29]Chuangjie Xu, Martín Hötzel Escardó:
A Constructive Model of Uniform Continuity. TLCA 2013: 236-249 - [c28]Martín Hötzel Escardó:
Continuity of Gödel's System T Definable Functionals via Effectful Forcing. MFPS 2013: 119-141 - 2012
- [j19]Martín Hötzel Escardó, Paulo Oliva:
The Peirce translation. Ann. Pure Appl. Log. 163(6): 681-692 (2012) - [c27]Martín Hötzel Escardó, Paulo Oliva:
Computing Nash Equilibria of Unbounded Games. Turing-100 2012: 53-65 - 2011
- [c26]Martín Hötzel Escardó, Paulo Oliva, Thomas Powell:
System T and the Product of Selection Functions. CSL 2011: 233-247 - 2010
- [j18]Martín Hötzel Escardó, Paulo Oliva:
Selection functions, bar recursion and backward induction. Math. Struct. Comput. Sci. 20(2): 127-168 (2010) - [c25]Martín Hötzel Escardó, Paulo Oliva:
Computational Interpretations of Analysis via Products of Selection Functions. CiE 2010: 141-150 - [c24]Martín Hötzel Escardó, Paulo Oliva:
The Peirce Translation and the Double Negation Shift. CiE 2010: 151-161 - [c23]Martín Escardó, Paulo Oliva:
What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift Have in Common. MSFP@ICFP 2010: 21-32
2000 – 2009
- 2009
- [j17]Martín Hötzel Escardó, Weng Kin Ho:
Operational domain theory and topology of sequential programming languages. Inf. Comput. 207(3): 411-437 (2009) - [c22]Martín Hötzel Escardó:
Theory and Practice of Higher-type Computation (Tutorial). CCA 2009 - [c21]Martín Hötzel Escardó:
Computability of Continuous Solutions of Higher-Type Equations. CiE 2009: 188-197 - [c20]Martín Hötzel Escardó:
Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting. MFPS 2009: 219-242 - 2008
- [j16]Martín Hötzel Escardó:
Exhaustible Sets in Higher-type Computation. Log. Methods Comput. Sci. 4(3) (2008) - [i1]Martín Hötzel Escardó:
Exhaustible sets in higher-type computation. CoRR abs/0808.0441 (2008) - 2007
- [j15]Martín Hötzel Escardó, Achim Jung, Thomas Streicher:
Preface. Math. Struct. Comput. Sci. 17(5): 839-839 (2007) - [j14]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): 120-141 (2007) - [c19]Martín Hötzel Escardó:
Infinite sets that admit fast exhaustive search. LICS 2007: 443-452 - 2006
- [j13]Martín Hötzel Escardó:
Compactly generated Hausdorff locales. Ann. Pure Appl. Log. 137(1-3): 147-163 (2006) - [j12]Martín Hötzel Escardó, Achim Jung, Thomas Streicher:
Preface. Math. Struct. Comput. Sci. 16(2): 139-140 (2006) - [j11]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): 230-240 (2006) - [c18]Ben Cohen, Martín Hötzel Escardó, Klaus Keimel:
The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces. TAMC 2006: 566-575 - [e2]Martín Hötzel Escardó, Achim Jung, Michael W. Mislove:
Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2005, Birmingham, UK, May 18-21, 2005. Electronic Notes in Theoretical Computer Science 155, Elsevier 2006 [contents] - 2005
- [j10]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): 1-2 (2005) - [c17]Martín Hötzel Escardó:
Compactness in Topology and Computation. CCA 2005: 379 - [c16]Martín Hötzel Escardó, Weng Kin Ho:
Operational Domain Theory and Topology of a Sequential Programming Language. LICS 2005: 427-436 - [c15]Martín Hötzel Escardó, Achim Jung, Michael W. Mislove:
Preface. MFPS 2005: 1-3 - 2004
- [j9]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): 803-814 (2004) - [j8]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): 1-2 (2004) - [c14]José Raymundo Marcial-Romero, Martín Hötzel Escardó:
Semantics of a Sequential Language for Exact Real-Number Computation. LICS 2004: 426-435 - [e1]Martín Escardó, Achim Jung:
Proceedings of the Workshop on Domains VI 2002, Birmingham, UK, September 16-19, 2002. Electronic Notes in Theoretical Computer Science 73, Elsevier 2004 [contents] - 2003
- [j7]Martín Hötzel Escardó:
Joins in the Frame of Nuclei. Appl. Categorical Struct. 11(2): 117-124 (2003) - [j6]Jirí Adámek, Martín Hötzel Escardó, Martin Hofmann:
Preface. Theor. Comput. Sci. 294(1/2): 1 (2003) - [c13]Martín Hötzel Escardó:
Synthetic Topology: of Data Types and Classical Spaces. DTMPP 2003: 21-156 - 2002
- [j5]Martín Hötzel Escardó, Thomas Streicher:
In Domain Realizability, not all Functionals on C[-1, 1] are Continuous. Math. Log. Q. 48(S1): 41-44 (2002) - [c12]Andrej Bauer, Martín Hötzel Escardó, Alex K. Simpson:
Comparing Functional Paradigms for Exact Real-Number Computation. ICALP 2002: 488-500 - [c11]Martín Hötzel Escardó, Achim Jung:
Preface. Workshop on Domains 2002: 1-2 - 2001
- [c10]Martín Hötzel Escardó, Alex K. Simpson:
A Universal Characterization of the Closed Euclidean Interval. LICS 2001: 115-125 - 2000
- [j4]Abbas Edalat, Martín Hötzel Escardó:
Integration in Real PCF. Inf. Comput. 160(1-2): 128-166 (2000) - [c9]Martín Hötzel Escardó:
Hausdorff compactifications of topological function spaces via the theory of continuous lattices. MFCSIT 2000: 161
1990 – 1999
- 1999
- [j3]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): 121-157 (1999) - [c8]Martín Hötzel Escardó:
On the Compact-regular Coreflection of a Stably Locally Compact Locale. MFPS 1999: 213-228 - [c7]Martín Hötzel Escardó, Bob Flagg:
Semantic Domains, Injective Spaces and Monads. MFPS 1999: 229-244 - 1998
- [c6]Dusko Pavlovic, Martín Hötzel Escardó:
Calculus in Coinductive Form. LICS 1998: 408-417 - 1997
- [b1]Martín Hötzel Escardó:
PCF extended with real numbers : a domain-theoretic approach to higher-order exact real number computation. Imperial College London, UK, 1997 - [c5]Peter John Potts, Abbas Edalat, Martín Hötzel Escardó:
Semantics of Exact Real Arithmetic. LICS 1997: 248-257 - [c4]Martín Hötzel Escardó, Thomas Streicher:
Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras. LICS 1997: 376-386 - [c3]Martín Hötzel Escardó:
Effective and sequential definition by cases on the reals via infinite signed-digit numerals. COMPROX 1997: 53-68 - 1996
- [j2]Martín Hötzel Escardó:
PCF Extended with Real Numbers. Theor. Comput. Sci. 162(1): 79-115 (1996) - [c2]Abbas Edalat, Martín Hötzel Escardó:
Integration in Real PCF. LICS 1996: 382-393 - 1994
- [c1]Martín Hötzel Escardó:
Recursion and Induction on the Real Line. Theory and Formal Methods 1994: 259-282 - 1993
- [j1]Martín Hötzel Escardó:
On lazy natural numbers with applications to computability theory and functional programming. SIGACT News 24(1): 61-67 (1993)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
