Preface to the special issue: Constructive analysis, types and exact real numbers.

Published in: Math. Struct. Comput. Sci. (2007)

Keyphrases