MartÝn H÷tzel Escardˇ
Titolo
Citata da
Citata da
Anno
PCF extended with real numbers
MH Escardˇ
Theoretical Computer Science 162 (1), 79-115, 1996
2051996
Synthetic topology: of data types and classical spaces
M Escardˇ
Electronic Notes in Theoretical Computer Science 87, 21-156, 2004
1312004
Comparing Cartesian closed categories of (core) compactly generated spaces
M Escardˇ, J Lawson, A Simpson
Topology and its Applications 143 (1-3), 105-145, 2004
1122004
Properly injective spaces and function spaces
MH Escardˇ
Topology and its Applications 89 (1-2), 75-120, 1998
831998
Calculus in coinductive form
D Pavlovic, MH Escardˇ
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Scienceá…, 1998
751998
Topologies on spaces of continuous functions
M Escardˇ, R Heckmann
Topology proceedings 26 (2), 545-564, 2001
672001
PCF extended with real numbers: A domain-theoretic approach to higher-order exact real number computation
MH Escardˇ
University of London Imperial College of Science, Technology and Medicineá…, 1997
621997
Semantics of exact real arithmetic
PJ Potts, A Edalat, MH Escardˇ
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Scienceá…, 1997
601997
Semantics of a sequential language for exact real-number computation
JR Marcial-Romero, MH Escardˇ
Theoretical Computer Science 379 (1-2), 120-141, 2007
592007
Selection functions, bar recursion and backward induction
M Escardˇ, P Oliva
Mathematical structures in computer science 20 (2), 127-168, 2010
542010
The regular-locally compact coreflection of a stably locally compact locale
MH Escardˇ
Journal of Pure and Applied Algebra 157 (1), 41-55, 2001
502001
Integration in real PCF
A Edalat, MH Escardˇ
Information and Computation 160 (1-2), 128-166, 2000
502000
Sequential games and optimal strategies
M Escardˇ, P Oliva
Proceedings of the Royal Society A: Mathematical, Physical and Engineeringá…, 2011
422011
The way-below relation of function spaces over semantic domains
T Erker, MH Escardˇ, K Keimel
Topology and its Applications 89 (1-2), 61-74, 1998
421998
A metric model of PCF
M Escardo
Workshop on Realizability Semantics and Applications 417, 418, 1999
401999
Exhaustible sets in higher-type computation
M Escardo
arXiv preprint arXiv:0808.0441, 2008
392008
Comparing functional paradigms for exact real-number computation
A Bauer, MH Escardˇ, A Simpson
International Colloquium on Automata, Languages, and Programming, 488-500, 2002
372002
On the non-sequential nature of the interval-domain model of real-number computation
M Escardˇ, M Hofmann, T Streicher
Mathematical Structures in Computer Science 14 (6), 803-814, 2004
332004
A universal characterization of the closed Euclidean interval
MH Escardˇ, AK Simpson
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 115-125, 2001
332001
Semantic domains, injective spaces and monads
MH Escardˇ, RC Flagg
Electronic Notes in Theoretical Computer Science 20, 229-244, 1999
321999
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20