Algebras and combinators (1981)

by E ENGELER
Venue:Algebra universalis