en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
Escardó
::
The blue social bookmark and publication sharing system.
sign in
home
groups
popular
posts
tags
authors
concepts
discussions
actions for all displayed bookmarks:
export:
RSS
,
BibTeX
,
XML
sort:
criterion:
date
,
title
order:
ascending
,
descending
others:
bookmarks per page:
5
10
20
50
100
bookmarks
actions for all displayed publications:
export:
RSS
,
BibTeX
,
RDF
,
more...
sort:
criterion:
date
,
title
order:
ascending
,
descending
advanced...
others:
publications per page:
5
10
20
50
100
publications
(40)
tags
dblp
UBMA
Katalanisch
No matching items.
System T and the Product of Selection Functions.
Martín Hötzel Escardó
,
Paulo Oliva
, and
Thomas Powell 0001
.
CSL,
volume 12 of LIPIcs,
page 233-247.
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
(
2011
)
Martín Hötzel Escardó
,
Paulo Oliva
, and
Thomas Powell 0001
.
CSL,
volume 12 of LIPIcs,
page 233-247.
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
(
2011
)
5 months and 17 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Semantics of a sequential language for exact real-number computation.
José Raymundo Marcial-Romero
, and
Martín Hötzel Escardó
.
Theor. Comput. Sci.
379(1-2):120-141
(
2007
)
José Raymundo Marcial-Romero
, and
Martín Hötzel Escardó
.
Theor. Comput. Sci.
379(1-2):120-141
(
2007
)
11 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Semantics of a Sequential Language for Exact Real-Number Computation.
José Raymundo Marcial-Romero
, and
Martín Hötzel Escardó
.
LICS,
page 426-435.
IEEE Computer Society,
(
2004
)
José Raymundo Marcial-Romero
, and
Martín Hötzel Escardó
.
LICS,
page 426-435.
IEEE Computer Society,
(
2004
)
11 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
The Peirce translation.
Martín Hötzel Escardó
, and
Paulo Oliva
.
Ann. Pure Appl. Logic
163(6):681-692
(
2012
)
Martín Hötzel Escardó
, and
Paulo Oliva
.
Ann. Pure Appl. Logic
163(6):681-692
(
2012
)
a year and 3 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A Universal Characterization of the Closed Euclidean Interval.
Martín Hötzel Escardó
, and
Alex K. Simpson
.
LICS,
page 115-125.
IEEE Computer Society,
(
2001
)
Martín Hötzel Escardó
, and
Alex K. Simpson
.
LICS,
page 115-125.
IEEE Computer Society,
(
2001
)
a year and 5 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Calculus in Coinductive Form.
Dusko Pavlovic
, and
Martín Hötzel Escardó
.
LICS,
page 408-417.
IEEE Computer Society,
(
1998
)
Dusko Pavlovic
, and
Martín Hötzel Escardó
.
LICS,
page 408-417.
IEEE Computer Society,
(
1998
)
a year and 5 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Semantics of Exact Real Arithmetic.
Peter John Potts
,
Abbas Edalat
, and
Martín Hötzel Escardó
.
LICS,
page 248-257.
IEEE Computer Society,
(
1997
)
Peter John Potts
,
Abbas Edalat
, and
Martín Hötzel Escardó
.
LICS,
page 248-257.
IEEE Computer Society,
(
1997
)
a year and 5 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras.
Martín Hötzel Escardó
, and
Thomas Streicher
.
LICS,
page 376-386.
IEEE Computer Society,
(
1997
)
Martín Hötzel Escardó
, and
Thomas Streicher
.
LICS,
page 376-386.
IEEE Computer Society,
(
1997
)
a year and 5 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Integration in Real PCF.
Abbas Edalat
, and
Martín Hötzel Escardó
.
LICS,
page 382-393.
IEEE Computer Society,
(
1996
)
Abbas Edalat
, and
Martín Hötzel Escardó
.
LICS,
page 382-393.
IEEE Computer Society,
(
1996
)
a year and 5 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Operational Domain Theory and Topology of a Sequential Programming Language.
Martín Hötzel Escardó
, and
Weng Kin Ho
.
LICS,
page 427-436.
IEEE Computer Society,
(
2005
)
Martín Hötzel Escardó
, and
Weng Kin Ho
.
LICS,
page 427-436.
IEEE Computer Society,
(
2005
)
a year and 5 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Exhaustible sets in higher-type computation
Martín Hötzel Escardó
.
CoRR
(
2008
)
Martín Hötzel Escardó
.
CoRR
(
2008
)
a year and 6 months ago
by
dblp
2
dblp
dblp
URL
DOI
TeX
Preface.
Jirí Adámek
,
Martín Hötzel Escardó
, and
Martin Hofmann
.
Theor. Comput. Sci.
294(1/2):1
(
2003
)
Jirí Adámek
,
Martín Hötzel Escardó
, and
Martin Hofmann
.
Theor. Comput. Sci.
294(1/2):1
(
2003
)
a year and 9 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Integration in Real PCF.
Abbas Edalat
, and
Martín Hötzel Escardó
.
Inf. Comput.
160(1-2):128-166
(
2000
)
Abbas Edalat
, and
Martín Hötzel Escardó
.
Inf. Comput.
160(1-2):128-166
(
2000
)
a year and 11 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Comparing Functional Paradigms for Exact Real-Number Computation.
Andrej Bauer
,
Martín Hötzel Escardó
, and
Alex K. Simpson
.
ICALP,
volume 2380 of Lecture Notes in Computer Science,
page 488-500.
Springer,
(
2002
)
Andrej Bauer
,
Martín Hötzel Escardó
, and
Alex K. Simpson
.
ICALP,
volume 2380 of Lecture Notes in Computer Science,
page 488-500.
Springer,
(
2002
)
a year and 11 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Hausdorff compactifications of topological function spaces via the theory of continuous lattices.
Martín Hötzel Escardó
.
Electr. Notes Theor. Comput. Sci.
(
2000
)
Martín Hötzel Escardó
.
Electr. Notes Theor. Comput. Sci.
(
2000
)
2 years ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Effective and sequential definition by cases on the reals via infinite signed-digit numerals.
Martín Hötzel Escardó
.
Electr. Notes Theor. Comput. Sci.
(
1998
)
Martín Hötzel Escardó
.
Electr. Notes Theor. Comput. Sci.
(
1998
)
2 years ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
On the Compact-regular Coreflection of a Stably Locally Compact Locale.
Martín Hötzel Escardó
.
Electr. Notes Theor. Comput. Sci.
(
1999
)
Martín Hötzel Escardó
.
Electr. Notes Theor. Comput. Sci.
(
1999
)
2 years ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Semantic Domains, Injective Spaces and Monads.
Martín Hötzel Escardó
, and
Bob Flagg
.
Electr. Notes Theor. Comput. Sci.
(
1999
)
Martín Hötzel Escardó
, and
Bob Flagg
.
Electr. Notes Theor. Comput. Sci.
(
1999
)
2 years ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Selection functions, bar recursion and backward induction.
Martín Hötzel Escardó
, and
Paulo Oliva
.
Mathematical Structures in Computer Science
20(2):127-168
(
2010
)
Martín Hötzel Escardó
, and
Paulo Oliva
.
Mathematical Structures in Computer Science
20(2):127-168
(
2010
)
2 years and 9 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
The Peirce Translation and the Double Negation Shift.
Martín Hötzel Escardó
, and
Paulo Oliva
.
CiE,
volume 6158 of Lecture Notes in Computer Science,
page 151-161.
Springer,
(
2010
)
Martín Hötzel Escardó
, and
Paulo Oliva
.
CiE,
volume 6158 of Lecture Notes in Computer Science,
page 151-161.
Springer,
(
2010
)
2 years and 11 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
BibSonomy is offered by the
KDE group
of the University of Kassel, the
DMIR group
of the University of Würzburg, and the
L3S Research Center
, Germany.
Privacy & Terms of Use
-
Contact