Type algebras, functor categories and block structure (1985)

by F Oles
Venue:Algebraic Methods in Semantics