MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Universal Characterization of the Closed Euclidean Interval." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

A universal characterization of the closed euclidean interval, in
by Martín H. Escardó — 2001 — Proc. of 16th Ann. IEEE Symp. on Logic in Computer Science, LICS'01
…A Universal Characterization of the Closed Euclidean Interval Martín H. Escardó School of Computer…
Cited by 7 (0 self) – Add To MetaCart

A Universal Characterization of the Closed Euclidean Interval (EXTENDED ABSTRACT)
by unknown authors
… A Universal Characterization of the Closed Euclidean Interval (EXTENDED ABSTRACT) Mart'in H…
Add To MetaCart

A coinductive approach to exact real number computation
by Ulrich Berger — 2009
… of the closed Euclidean interval. LICS 2001, 115-125. J. Raymundo Marcial–Romero, M.H. Escardó. Semantics of a…
Add To MetaCart

Recursive Coalgebras from Comonads
by Venanzio Capretta, Tarmo Uustalu, Varmo Vene — 2004
… by Escardo and Simpson [11] to provide a universal characterization of the closed euclidean interval…
Cited by 3 (1 self) – Add To MetaCart

◮ Digit spaces
by Ulrich Berger
…, Springer-Verlag (2002) 193–267. M. Escardo, A. Simpson, A. A universal characterization of the closed…
Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB