On an interpretation of safe recursion in light affine logic
scientific article; zbMATH DE number 2083410