Varmo Vene

1968

• Categorical programming with inductive and coinductive types