Is game semantics necessary? Export

@incollection{citeulike:5998198, abstract = {We discuss the extent to which game semantics is implicit in the basic concepts of linear logic.}, author = {Blass, Andreas}, booktitle = {Computer Science Logic}, citeulike-article-id = {5998198}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/BFb0049324}, citeulike-linkout-1 = {http://www.springerlink.com/content/q2857l0788156524}, citeulike-linkout-2 = {http://ftp.cs.stanford.edu/cs/theory/pub/jcm/cs358-95/ablass.ps}, doi = {10.1007/BFb0049324}, journal = {Computer Science Logic}, keywords = {22, game\_semantics, linear\_logic}, pages = {66--77}, posted-at = {2009-10-23 17:14:19}, priority = {0}, publisher = {Springer Berlin}, series = {Lecture Notes in Computer Science}, title = {Is game semantics necessary?}, url = {http://dx.doi.org/10.1007/BFb0049324}, volume = {832}, year = {1994} }

TY - CHAP ID - citeulike:5998198 L3 - citeulike-article-id:5998198 N2 - We discuss the extent to which game semantics is implicit in the basic concepts of linear logic. JF - Computer Science Logic SE - Lecture Notes in Computer Science EP - 77 TI - Is game semantics necessary? PB - Springer Berlin VL - 832 T2 - Computer Science Logic SP - 66 KW - 22 KW - game_semantics KW - linear_logic AU - Blass, Andreas PY - 1994/// UR - http://dx.doi.org/10.1007/BFb0049324 ER -