| |
| 1998 | ||
|---|---|---|
| 3 | EE | Abbas Edalat, Peter John Potts, Philipp Sünderhauf: Lazy Computation with Exact Real Numbers. ICFP 1998: 185-194 |
| 1997 | ||
| 2 | EE | Peter John Potts, Abbas Edalat, Martín Hötzel Escardó: Semantics of Exact Real Arithmetic. LICS 1997: 248-257 |
| 1 | EE | Abbas Edalat, Peter John Potts: A new representation for exact real numbers. Electr. Notes Theor. Comput. Sci. 6: (1997) |
| 1 | Abbas Edalat | [1] [2] [3] |
| 2 | Martín Hötzel Escardó | [2] |
| 3 | Philipp Sünderhauf | [3] |