Game semantics and linear CPS interpretation
scientific article; zbMATH DE number 2153210