Sunday, June 7 2020, 09:22 am
Game Semantics – IRIF

Game Semantics – IRIF

2 Game Semantics: an inf ormal intr oduction Before proceeding to a detailed technical account in the ne xt section, we will give an informal presentation of the main ideas through examples, with the hope of con-veying ho w close to programming intuitions the formal model is. As the name suggests, game semantics models computation as the …