\(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic
scientific article; zbMATH DE number 1562995