| 2008 |
|---|
| 34 | EE | Martín Hötzel Escardó:
Exhaustible sets in higher-type computation
CoRR abs/0808.0441: (2008) |
| 2007 |
|---|
| 33 | EE | Martín Hötzel Escardó:
Infinite sets that admit fast exhaustive search.
LICS 2007: 443-452 |
| 32 | EE | Martín Hötzel Escardó,
Achim Jung,
Thomas Streicher:
Preface.
Mathematical Structures in Computer Science 17(5): 839-839 (2007) |
| 31 | EE | J. 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) |
| 2006 |
|---|
| 30 | EE | Ben Cohen,
Martín Hötzel Escardó,
Klaus Keimel:
The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces.
TAMC 2006: 566-575 |
| 29 | EE | Martín Hötzel Escardó:
Compactly generated Hausdorff locales.
Ann. Pure Appl. Logic 137(1-3): 147-163 (2006) |
| 28 | EE | Martín Hötzel Escardó,
Achim Jung,
Michael W. Mislove:
Preface.
Electr. Notes Theor. Comput. Sci. 155: 1-3 (2006) |
| 27 | EE | Martín Hötzel Escardó,
Achim Jung,
Thomas Streicher:
Preface.
Mathematical Structures in Computer Science 16(2): 139-140 (2006) |
| 26 | EE | 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) |
| 2005 |
|---|
| 25 | | Martín Hötzel Escardó:
Compactness in Topology and Computation.
CCA 2005: 379 |
| 24 | EE | Martín Hötzel Escardó,
Ho Weng Kin:
Operational Domain Theory and Topology of a Sequential Programming Language.
LICS 2005: 427-436 |
| 23 | EE | 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) |
| 2004 |
|---|
| 22 | EE | J. Raymundo Marcial-Romero,
Martín Hötzel Escardó:
Semantics of a Sequential Language for Exact Real-Number Computation.
LICS 2004: 426-435 |
| 21 | EE | Martín Hötzel Escardó,
Achim Jung:
Preface.
Electr. Notes Theor. Comput. Sci. 73: 1-2 (2004) |
| 20 | EE | Martín Hötzel Escardó:
Synthetic Topology: of Data Types and Classical Spaces.
Electr. Notes Theor. Comput. Sci. 87: 21-156 (2004) |
| 19 | EE | 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) |
| 18 | EE | 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) |
| 2003 |
|---|
| 17 | EE | Martín Hötzel Escardó:
Joins in the Frame of Nuclei.
Applied Categorical Structures 11(2): 117-124 (2003) |
| 16 | | Jirí Adámek,
Martín Hötzel Escardó,
Martin Hofmann:
Preface.
Theor. Comput. Sci. 294(1/2): 1 (2003) |
| 2002 |
|---|
| 15 | EE | Andrej Bauer,
Martín Hötzel Escardó,
Alex K. Simpson:
Comparing Functional Paradigms for Exact Real-Number Computation.
ICALP 2002: 488-500 |
| 14 | EE | 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) |
| 2001 |
|---|
| 13 | | Martín Hötzel Escardó,
Alex K. Simpson:
A Universal Characterization of the Closed Euclidean Interval.
LICS 2001: 115-128 |
| 2000 |
|---|
| 12 | EE | Martín Hötzel Escardó:
Hausdorff compactifications of topological function spaces via the theory of continuous lattices.
Electr. Notes Theor. Comput. Sci. 40: (2000) |
| 11 | | Abbas Edalat,
Martín Hötzel Escardó:
Integration in Real PCF.
Inf. Comput. 160(1-2): 128-166 (2000) |
| 1999 |
|---|
| 10 | EE | Martín Hötzel Escardó:
On the Compact-regular Coreflection of a Stably Locally Compact Locale.
Electr. Notes Theor. Comput. Sci. 20: (1999) |
| 9 | EE | Martín Hötzel Escardó,
Bob Flagg:
Semantic Domains, Injective Spaces and Monads.
Electr. Notes Theor. Comput. Sci. 20: (1999) |
| 8 | EE | 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 |
|---|
| 7 | | Dusko Pavlovic,
Martín Hötzel Escardó:
Calculus in Coinductive Form.
LICS 1998: 408-417 |
| 6 | EE | 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: (1998) |
| 1997 |
|---|
| 5 | EE | Peter John Potts,
Abbas Edalat,
Martín Hötzel Escardó:
Semantics of Exact Real Arithmetic.
LICS 1997: 248-257 |
| 4 | EE | 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 |
|---|
| 3 | | Abbas Edalat,
Martín Hötzel Escardó:
Integration in Real PCF.
LICS 1996: 382-393 |
| 2 | EE | Martín Hötzel Escardó:
PCF Extended with Real Numbers.
Theor. Comput. Sci. 162(1): 79-115 (1996) |
| 1994 |
|---|
| 1 | | Martín Hötzel Escardó:
Recursion and Induction on the Real Line.
Theory and Formal Methods 1994: 259-282 |
