Martín Hötzel Escardó Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Hötzel Escardó, Paulo Oliva: The Peirce translation. Ann. Pure Appl. Logic 163(6): 681-692 (2012)
2011
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Hötzel Escardó, Paulo Oliva, Thomas Powell: System T and the Product of Selection Functions. CSL 2011: 233-247
2010
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Hötzel Escardó, Paulo Oliva: Selection functions, bar recursion and backward induction. Mathematical Structures in Computer Science 20(2): 127-168 (2010)
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Hötzel Escardó, Paulo Oliva: Computational Interpretations of Analysis via Products of Selection Functions. CiE 2010: 141-150
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Hötzel Escardó, Paulo Oliva: The Peirce Translation and the Double Negation Shift. CiE 2010: 151-161
2009
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Hötzel Escardó: Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting. Electr. Notes Theor. Comput. Sci. 249: 219-242 (2009)
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Hötzel Escardó, Weng Kin Ho: Operational domain theory and topology of sequential programming languages. Inf. Comput. 207(3): 411-437 (2009)
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Hötzel Escardó: Theory and Practice of Higher-type Computation (Tutorial). CCA 2009
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Hötzel Escardó: Computability of Continuous Solutions of Higher-Type Equations. CiE 2009: 188-197
2008
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Hötzel Escardó: Exhaustible Sets in Higher-type Computation. Logical Methods in Computer Science 4(3) (2008)
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Hötzel Escardó: Exhaustible sets in higher-type computation. CoRR abs/0808.0441 (2008)
2007
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Hötzel Escardó, Achim Jung, Thomas Streicher: Preface. Mathematical Structures in Computer Science 17(5): 839-839 (2007)
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Hötzel Escardó: Infinite sets that admit fast exhaustive search. LICS 2007: 443-452
2006
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Hötzel Escardó: Compactly generated Hausdorff locales. Ann. Pure Appl. Logic 137(1-3): 147-163 (2006)
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Hötzel Escardó, Achim Jung, Michael W. Mislove: Preface. Electr. Notes Theor. Comput. Sci. 155: 1-3 (2006)
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Hötzel Escardó, Achim Jung, Thomas Streicher: Preface. Mathematical Structures in Computer Science 16(2): 139-140 (2006)
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ben Cohen, Martín Hötzel Escardó, Klaus Keimel: The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces. TAMC 2006: 566-575
2005
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. Algebr. Program. 64(1): 1-2 (2005)
c10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Hötzel Escardó: Compactness in Topology and Computation. CCA 2005: 379
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Hötzel Escardó, Weng Kin Ho: Operational Domain Theory and Topology of a Sequential Programming Language. LICS 2005: 427-436
2004
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Hötzel Escardó, Achim Jung: Preface. Electr. Notes Theor. Comput. Sci. 73: 1-2 (2004)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Hötzel Escardó: Synthetic Topology: of Data Types and Classical Spaces. Electr. Notes Theor. Comput. Sci. 87: 21-156 (2004)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Hötzel Escardó, Martin Hofmann, Thomas Streicher: On the non-sequential nature of the interval-domain model of real-number computation. Mathematical Structures in Computer Science 14(6): 803-814 (2004)
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Raymundo Marcial-Romero, Martín Hötzel Escardó: Semantics of a Sequential Language for Exact Real-Number Computation. LICS 2004: 426-435
2003
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Hötzel Escardó: Joins in the Frame of Nuclei. Applied Categorical Structures 11(2): 117-124 (2003)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jirí Adámek, Martín Hötzel Escardó, Martin Hofmann: Preface. Theor. Comput. Sci. 294(1/2): 1 (2003)
2002
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrej Bauer, Martín Hötzel Escardó, Alex K. Simpson: Comparing Functional Paradigms for Exact Real-Number Computation. ICALP 2002: 488-500
2001
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Hötzel Escardó, Alex K. Simpson: A Universal Characterization of the Closed Euclidean Interval. LICS 2001: 115-125
2000
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Hötzel Escardó: Hausdorff compactifications of topological function spaces via the theory of continuous lattices. Electr. Notes Theor. Comput. Sci. 40: 161 (2000)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Abbas Edalat, Martín Hötzel Escardó: Integration in Real PCF. Inf. Comput. 160(1-2): 128-166 (2000)
1999
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Hötzel Escardó: On the Compact-regular Coreflection of a Stably Locally Compact Locale. Electr. Notes Theor. Comput. Sci. 20: 213-228 (1999)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Hötzel Escardó, Bob Flagg: Semantic Domains, Injective Spaces and Monads. Electr. Notes Theor. Comput. Sci. 20: 229-244 (1999)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Hötzel Escardó: Effective and sequential definition by cases on the reals via infinite signed-digit numerals. Electr. Notes Theor. Comput. Sci. 13: 53-68 (1998)
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dusko Pavlovic, Martín Hötzel Escardó: Calculus in Coinductive Form. LICS 1998: 408-417
1997
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Peter John Potts, Abbas Edalat, Martín Hötzel Escardó: Semantics of Exact Real Arithmetic. LICS 1997: 248-257
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Hötzel Escardó: PCF Extended with Real Numbers. Theor. Comput. Sci. 162(1): 79-115 (1996)
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Abbas Edalat, Martín Hötzel Escardó: Integration in Real PCF. LICS 1996: 382-393
1994
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Hötzel Escardó: Recursion and Induction on the Real Line. Theory and Formal Methods 1994: 259-282

Coauthor Index

1Jirí Adámek
[j9]
2Andrej Bauer
[c7]
3Lars Birkedal
[j11]
4Ben Cohen
[c11]
5Abbas Edalat
[j6] [c4] [c2]
6Bob Flagg
[j4]
7Weng Kin Ho
[j23] [c9]
8Martin Hofmann
[j12] [j9]
9Frédéric De Jaeger
[j16]
10Achim Jung
[j21] [j18] [j17] [j14] [j11]
11Klaus Keimel
[c11]
12José Raymundo Marcial-Romero
[j20] [c8]
13Michael W. Mislove
[j18]
14Norbert Th. Müller
[j15]
15Paulo Oliva
[j26] [c17] [j25] [c16] [c15]
16Dusko Pavlovic
[c5]
17Peter John Potts
[c4]
18Thomas Powell 0001
[c17]
19Giuseppe Rosolini
[j11]
20Gabriele Santini
[j16]
21Alex K. Simpson (Alex Simpson)
[c7] [c6]
22Thomas Streicher
[j21] [j17] [j12] [j8] [j3] [c3]
23Paul Zimmermann
[j15]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 23 19:08:28 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page