Functional programming with apomorphisms (corecursion (1998)

by V Vene, T Uustalu
Venue:Proceedings of the Estonian Academy of Sciences: Physics, Mathematics