dblp.uni-trier.dewww.uni-trier.de

Martín Hötzel Escardó Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
37EEMartín Hötzel Escardó: Computability of Continuous Solutions of Higher-Type Equations. CiE 2009: 188-197
36EEMartín Hötzel Escardó, Weng Kin Ho: Operational domain theory and topology of sequential programming languages. Inf. Comput. 207(3): 411-437 (2009)
2008
35EEMartín Hötzel Escardó: Exhaustible sets in higher-type computation CoRR abs/0808.0441: (2008)
34EEMartín Hötzel Escardó: Exhaustible Sets in Higher-type Computation. Logical Methods in Computer Science 4(3): (2008)
2007
33EEMartín Hötzel Escardó: Infinite sets that admit fast exhaustive search. LICS 2007: 443-452
32EEMartín Hötzel Escardó, Achim Jung, Thomas Streicher: Preface. Mathematical Structures in Computer Science 17(5): 839-839 (2007)
31EEJ. 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
30EEBen Cohen, Martín Hötzel Escardó, Klaus Keimel: The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces. TAMC 2006: 566-575
29EEMartín Hötzel Escardó: Compactly generated Hausdorff locales. Ann. Pure Appl. Logic 137(1-3): 147-163 (2006)
28EEMartín Hötzel Escardó, Achim Jung, Michael W. Mislove: Preface. Electr. Notes Theor. Comput. Sci. 155: 1-3 (2006)
27EEMartín Hötzel Escardó, Achim Jung, Thomas Streicher: Preface. Mathematical Structures in Computer Science 16(2): 139-140 (2006)
26EEFré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
24EEMartín Hötzel Escardó, Weng Kin Ho: Operational Domain Theory and Topology of a Sequential Programming Language. LICS 2005: 427-436
23EENorbert 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
22EEJ. Raymundo Marcial-Romero, Martín Hötzel Escardó: Semantics of a Sequential Language for Exact Real-Number Computation. LICS 2004: 426-435
21EEMartín Hötzel Escardó, Achim Jung: Preface. Electr. Notes Theor. Comput. Sci. 73: 1-2 (2004)
20EEMartín Hötzel Escardó: Synthetic Topology: of Data Types and Classical Spaces. Electr. Notes Theor. Comput. Sci. 87: 21-156 (2004)
19EEMartí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)
18EELars 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
17EEMartí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
15EEAndrej Bauer, Martín Hötzel Escardó, Alex K. Simpson: Comparing Functional Paradigms for Exact Real-Number Computation. ICALP 2002: 488-500
14EEMartí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
12EEMartí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
10EEMartín Hötzel Escardó: On the Compact-regular Coreflection of a Stably Locally Compact Locale. Electr. Notes Theor. Comput. Sci. 20: (1999)
9EEMartín Hötzel Escardó, Bob Flagg: Semantic Domains, Injective Spaces and Monads. Electr. Notes Theor. Comput. Sci. 20: (1999)
8EEMartí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
6EEMartí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
5EEPeter John Potts, Abbas Edalat, Martín Hötzel Escardó: Semantics of Exact Real Arithmetic. LICS 1997: 248-257
4EEMartí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
2EEMartí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

Coauthor Index

1Jirí Adámek [16]
2Andrej Bauer [15]
3Lars Birkedal [18]
4Ben Cohen [30]
5Abbas Edalat [3] [5] [11]
6Bob Flagg [9]
7Weng Kin Ho [24] [36]
8Martin Hofmann [16] [19]
9Frédéric De Jaeger [26]
10Achim Jung [18] [21] [27] [28] [32]
11Klaus Keimel [30]
12J. Raymundo Marcial-Romero [22] [31]
13Michael W. Mislove [28]
14Norbert Th. Müller [23]
15Dusko Pavlovic [7]
16Peter John Potts [5]
17Giuseppe Rosolini [18]
18Gabriele Santini [26]
19Alex K. Simpson (Alex Simpson) [13] [15]
20Thomas Streicher [4] [8] [14] [19] [27] [32]
21Paul Zimmermann [23]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)