1 paper
Dan R. Ghica, Khulood Alyahya
Game semantics is a powerful method of semantic analysis for programming languages. It gives mathematically accurate models ("fully abstract") for a wide variety of programming lan…