Categorical Combinators" Info.&Co (1986)

by P-L Curien