Lars Hallnäs
-
Constructive analysis, types and exact real numbers
Mathematical Structures in Computer Science