Type algebras, functor categories, and block structure (1985)

by F J Oles
Venue:Algebraic Methods in Semantics. Cambrige