Operational interpretations of linear logic
operational interpretations of intuitionistic linear logic
scientific article; zbMATH DE number 1495164