Innocent Game Semantics via Intersection Type Assignment Systems

  title={Innocent Game Semantics via Intersection Type Assignment Systems},
  author={Pietro Di Gianantonio and Marina Lenisa},
The aim of this work is to correlate two different approaches to the semantics of programming languages: game semantics and intersection type assignment systems (ITAS). Namely, we present an ITAS that provides the description of the semantic interpretation of a typed lambda calculus in a game model based on innocent strategies. Compared to the traditional ITAS used to describe the semantic interpretation in domain theoretic models, the ITAS presented in this paper has two main differences: the… CONTINUE READING