Entities and Indices (1990)

by M J Cresswell
Venue:17 P.-L. Curien. Categorical Combinators, Sequential Algorithms and Functional Programming