Algebras and combinators (1981)

by Erwin Engeler
Venue:Algebra Universalis