Peter John Potts

Publication Activity (10 Years)

Years Active: 1997-1998
Publications (10 Years): 0

Publications

Abbas Edalat, Peter John Potts, Philipp Sünderhauf
Lazy Computation with Exact Real Numbers. ICFP (1998)
Abbas Edalat, Peter John Potts
A new representation for exact real numbers. MFPS (1997)
Peter John Potts, Abbas Edalat, Martín Hötzel Escardó
Semantics of Exact Real Arithmetic. LICS (1997)