48

Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
–
 1997

14

Exact Real Computer Arithmetic
–
 1997

7

The Appearance of Big Integers in Exact Real Arithmetic based on Linear Fractional Transformations
–
 1997

42

A New Representation for Exact Real Numbers
–
 1997

4

Big Integers and Complexity Issues in Exact Real Arithmetic
–
 1998

8

Contractivity of Linear Fractional Transformations
–
 1998

29

Semantics of Exact Real Arithmetic
–
 1997

8

Number Computability and Domain Theory
–
 1996

11

A universal characterization of the closed euclidean interval (Extended Abstract)
–
 2001

5

A Calculator for Exact Real Number Computation
–
 1998


Admissible Digit Sets and a Modified SternBrocot Representation
–
 2004

5

How Many Argument Digits are Needed to Produce n Result Digits?
–
 1999

1

Number systems and Digit Serial Arithmetic
–
 1997

1

Two Algorithms for Root Finding in Exact Real Arithmetic
–
 1998

43

A DomainTheoretic Approach to Computability on the Real Line
–
 1997

19

CCoRN, the Constructive Coq Repository at Nijmegan
–

1

Program extraction in constructive analysis. Submitted to: Logicism, Intuitionism, and Formalism – What has become of them
–
 2006

4

The constructive reals as a Java Library
–
 2004

6

Realizability interpretation of proofs in constructive analysis
–
 2006
