Остановите войну!
for scientists:
default search action
Martín Hötzel Escardó
- > Home > Persons > Martín Hötzel Escardó
Publications
- 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) - 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
- [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) - 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) - [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) - [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
- [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 - 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 - 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) - 2007
- [j15]Martín Hötzel Escardó, Achim Jung, Thomas Streicher:
Preface. Math. Struct. Comput. Sci. 17(5): 839-839 (2007) - 2006
- [j12]Martín Hötzel Escardó, Achim Jung, Thomas Streicher:
Preface. Math. Struct. Comput. Sci. 16(2): 139-140 (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
- [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) - [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
- [j6]Jirí Adámek, Martín Hötzel Escardó, Martin Hofmann:
Preface. Theor. Comput. Sci. 294(1/2): 1 (2003) - 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) - 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) - 1998
- [c6]Dusko Pavlovic, Martín Hötzel Escardó:
Calculus in Coinductive Form. LICS 1998: 408-417 - 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 - 1996
- [c2]Abbas Edalat, Martín Hötzel Escardó:
Integration in Real PCF. LICS 1996: 382-393
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-02-13 19:56 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint