Repository | Book | Chapter
(2009) Games, Dordrecht, Springer.
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.
Publication details
DOI: 10.1007/978-1-4020-9374-6_11
Full citation:
Japaridze, G. (2009)., In the beginning was game semantics?, in O. Majer, A. J. Pietarinen & T. Tulenheimo (eds.), Games, Dordrecht, Springer, pp. 249-350.
This document is unfortunately not available for download at the moment.