Free algebras corresponding to multiplicative classical linear logic and some of its extensions
scientific article; zbMATH DE number 935226