Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic
scientific article; zbMATH DE number 1495160