Editorial Preface
Preface to the special issue: Constructive analysis, types and exact real numbers
-
- Published online by Cambridge University Press:
- 01 February 2007, p. 1
-
- Article
-
- You have access
- Export citation
Paper
Constructive analysis, types and exact real numbers
-
- Published online by Cambridge University Press:
- 01 February 2007, pp. 3-36
-
- Article
- Export citation
Affine functions and series with co-inductive real numbers
-
- Published online by Cambridge University Press:
- 01 February 2007, pp. 37-63
-
- Article
- Export citation
Spatiality for formal topologies
-
- Published online by Cambridge University Press:
- 01 February 2007, pp. 65-80
-
- Article
- Export citation
RealLib: An efficient implementation of exact real arithmetic
-
- Published online by Cambridge University Press:
- 01 February 2007, pp. 81-98
-
- Article
- Export citation
Implementing the cylindrical algebraic decomposition within the Coq system
-
- Published online by Cambridge University Press:
- 01 February 2007, pp. 99-127
-
- Article
- Export citation
A monadic, functional implementation of real numbers
-
- Published online by Cambridge University Press:
- 01 February 2007, pp. 129-159
-
- Article
- Export citation
Two preservation results for countable products of sequential spaces
-
- Published online by Cambridge University Press:
- 01 February 2007, pp. 161-172
-
- Article
- Export citation