Affine functions and series with co-inductive real numbers (0)

by Y Bertot
Venue:Mathematical Structures in Computer Science