A type assignment system for game semantics
scientific article; zbMATH DE number 5292223