A semantic proof of polytime soundness of light affine logic
scientific article; zbMATH DE number 5770221