Some semantical aspects of linear logic Export

@misc{citeulike:466106, abstract = {We describe and discuss several semantical views of linear logic. Our primary topic is game semantics, including modifications suggested by Abramsky, Jagadeesan, Hyland, Ong, and Japaridze. We also briefly discuss Girard's coherence spaces and de Paiva's Dialectica-like semantics. 1 Keywords : linear logic, semantics, games, determinacy 1 Introduction The WoLLIC talk on which this paper is based consisted of some introductory material on linear logic and several observations about its...}, author = {Blass, A.}, citeulike-article-id = {466106}, citeulike-linkout-0 = {http://citeseer.ist.psu.edu/blass97some.html}, citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/blass97some.html}, citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/blass97some.html}, citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/blass97some.html}, keywords = {algebraic, categorical, linear, logic}, posted-at = {2006-01-16 16:01:28}, priority = {2}, title = {Some semantical aspects of linear logic}, url = {http://citeseer.ist.psu.edu/blass97some.html}, year = {1996} }

TY - GEN ID - citeulike:466106 L3 - citeulike-article-id:466106 N2 - We describe and discuss several semantical views of linear logic. Our primary topic is game semantics, including modifications suggested by Abramsky, Jagadeesan, Hyland, Ong, and Japaridze. We also briefly discuss Girard's coherence spaces and de Paiva's Dialectica-like semantics. 1 Keywords : linear logic, semantics, games, determinacy 1 Introduction The WoLLIC talk on which this paper is based consisted of some introductory material on linear logic and several observations about its... TI - Some semantical aspects of linear logic KW - algebraic KW - categorical KW - linear KW - logic AU - Blass, A PY - 1996/// UR - http://citeseer.ist.psu.edu/blass97some.html ER -