New Curry-Howard terms for full linear logic
scientific article; zbMATH DE number 1177657