Inductive and coinductive types with iteration and recursion (1992)

by Herman Geuvers
Venue:Dept. of Computing Science, Chalmers Univ. of Technology and Göteborg Univ