On phase semantics and denotational semantics in multiplicative-additive linear logic
scientific article; zbMATH DE number 1423283
scientific article