Categorical programming with inductive and coinductive types (2000)

by Varmo Vene