On the recursive specification of data types, Category Theory Applied to Computation and (1974)

by M WAND
Venue:Control, Lecture Notes in Computer Science