In the beginning was game semantics
<|reference_start|>In the beginning was game semantics: This article presents an overview of computability logic -- the game-semantically constructed logic of interactive computational tasks and resources. There is only one non-overview, technical section in it, devoted to a proof of the soundness of affine logic with respect to the semantics of computability logic. A comprehensive online source on the subject can be found at http://www.cis.upenn.edu/~giorgi/cl.html<|reference_end|>
@article{japaridze2005in,
    title={In the beginning was game semantics},
    author={Giorgi Japaridze},
    journal={Games: Unifying Logic, Language and Philosophy. O. Majer, A.-V.
  Pietarinen and T. Tulenheimo, eds. Springer 2009, pp. 249-350},
    year={2005},
    doi={10.1007/978-1-4020-9374-6_11},
    archivePrefix={arXiv},
    eprint={cs/0507045},
    primaryClass={cs.LO cs.AI math.LO}
}