Free algebras corresponding to multiplicative classical linear logic and some extensions
Free algebras corresponding to multiplicative classical linear logic and some extensions / Andreja Prijatelj