Peter John Potts (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Abbas Edalat, Peter John Potts, Philipp Sünderhauf: Lazy Computation with Exact Real Numbers. ICFP 1998: 185-194

2 Peter John Potts, Abbas Edalat, Martín Hötzel Escardó: Semantics of Exact Real Arithmetic. LICS 1997: 248-257

1 Abbas Edalat, Peter John Potts: A new representation for exact real numbers. Electr. Notes Theor. Comput. Sci. 6: 119-132 (1997)

Selection of 3 from 3 records - Peter John Potts has 3 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

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