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

by Y Bertot
Venue:Math. Struct. Comput. Sci