Martín Hötzel Escardó

	2012
44		Martín Hötzel Escardó, Paulo Oliva: The Peirce translation. Ann. Pure Appl. Logic 163(6): 681-692 (2012)
	2011
43		Martín Hötzel Escardó, Paulo Oliva, Thomas Powell: System T and the Product of Selection Functions. CSL 2011: 233-247
	2010
42		Martín Hötzel Escardó, Paulo Oliva: Computational Interpretations of Analysis via Products of Selection Functions. CiE 2010: 141-150
41		Martín Hötzel Escardó, Paulo Oliva: The Peirce Translation and the Double Negation Shift. CiE 2010: 151-161
40		Martín Hötzel Escardó, Paulo Oliva: Selection functions, bar recursion and backward induction. Mathematical Structures in Computer Science 20(2): 127-168 (2010)
	2009
39		Martín Hötzel Escardó: Theory and Practice of Higher-type Computation (Tutorial). CCA 2009
38		Martín Hötzel Escardó: Computability of Continuous Solutions of Higher-Type Equations. CiE 2009: 188-197
37		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)
36		Martín Hötzel Escardó, Weng Kin Ho: Operational domain theory and topology of sequential programming languages. Inf. Comput. 207(3): 411-437 (2009)
	2008
35		Martín Hötzel Escardó: Exhaustible sets in higher-type computation CoRR abs/0808.0441: (2008)
34		Martín Hötzel Escardó: Exhaustible Sets in Higher-type Computation. Logical Methods in Computer Science 4(3): (2008)
	2007
33		Martín Hötzel Escardó: Infinite sets that admit fast exhaustive search. LICS 2007: 443-452
32		Martín Hötzel Escardó, Achim Jung, Thomas Streicher: Preface. Mathematical Structures in Computer Science 17(5): 839-839 (2007)
31		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		Ben Cohen, Martín Hötzel Escardó, Klaus Keimel: The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces. TAMC 2006: 566-575
29		Martín Hötzel Escardó: Compactly generated Hausdorff locales. Ann. Pure Appl. Logic 137(1-3): 147-163 (2006)
28		Martín Hötzel Escardó, Achim Jung, Michael W. Mislove: Preface. Electr. Notes Theor. Comput. Sci. 155: 1-3 (2006)
27		Martín Hötzel Escardó, Achim Jung, Thomas Streicher: Preface. Mathematical Structures in Computer Science 16(2): 139-140 (2006)
26		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		Martín Hötzel Escardó, Weng Kin Ho: Operational Domain Theory and Topology of a Sequential Programming Language. LICS 2005: 427-436
23		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		J. Raymundo Marcial-Romero, Martín Hötzel Escardó: Semantics of a Sequential Language for Exact Real-Number Computation. LICS 2004: 426-435
21		Martín Hötzel Escardó, Achim Jung: Preface. Electr. Notes Theor. Comput. Sci. 73: 1-2 (2004)
20		Martín Hötzel Escardó: Synthetic Topology: of Data Types and Classical Spaces. Electr. Notes Theor. Comput. Sci. 87: 21-156 (2004)
19		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		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		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		Andrej Bauer, Martín Hötzel Escardó, Alex K. Simpson: Comparing Functional Paradigms for Exact Real-Number Computation. ICALP 2002: 488-500
14		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-125
	2000
12		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)
11		Abbas Edalat, Martín Hötzel Escardó: Integration in Real PCF. Inf. Comput. 160(1-2): 128-166 (2000)
	1999
10		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)
9		Martín Hötzel Escardó, Bob Flagg: Semantic Domains, Injective Spaces and Monads. Electr. Notes Theor. Comput. Sci. 20: 229-244 (1999)
8		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		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)
	1997
5		Peter John Potts, Abbas Edalat, Martín Hötzel Escardó: Semantics of Exact Real Arithmetic. LICS 1997: 248-257
4		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		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

Coauthor Index

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

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page