Algebras and combinators (1981)

by E Engeler
Venue:Algebra Universalis