Categorical Combinators, Sequential Algorithms and Functional Programming (1986)

by P-L Curien
Venue:In Ref