In the beginning was game semantics?
pp. 249-350
in: Ondrej Majer, Pietarinen, Tero Tulenheimo (eds), Games, Berlin, Springer, 2009Abstrakt
This chapter 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.