Categorical combinators (1986)

by P-L Curien
Venue:Information and Control