Peter John Potts

According to our database, Peter John Potts authored at least 3 papers between 1997 and 1998.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1998

Lazy Computation with Exact Real Numbers.

Abbas Edalat, Peter John Potts, Philipp Sünderhauf

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

1997

A new representation for exact real numbers.

Abbas Edalat, Peter John Potts

Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997

Semantics of Exact Real Arithmetic.

Peter John Potts, Abbas Edalat, Martín Hötzel Escardó

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997