Phase semantics for light linear logic
scientific article; zbMATH DE number 1956202