A Domain-Theoretic Approach to Computability on the Real Line (1997)

Cached

Download Links

by Abbas Edalat , Philipp Sünderhauf
Citations:44 - 10 self

Active Bibliography

15 Computable Banach Spaces via Domain Theory – Abbas Edalat, Philipp Sünderhauf - 1998
47 PCF extended with real numbers – Martín Hötzel Escardó - 1996
Supervisor – Martín Hötzel Escardó, Dr. Michael, B. Smyth, Prof Achim Jung, Prof Edmund Robinson - 1996
48 Domains for Computation in Mathematics, Physics and Exact Real Arithmetic – Abbas Edalat - 1997
Department of Computer Science, – unknown authors
DOI: 10.1017/S0960129504004359 Printed in the United Kingdom Domain theory and differential calculus (functions of one variable) – Abbas Edalat, Andre ́ L Ieutier - 2002
8 Integration in real PCF – Abbas Edalat, Martín Hötzel Escardó - 1996
Abstract – unknown authors
458 Domain Theory – Samson Abramsky, Achim Jung - 1994