{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:21:43Z","timestamp":1729657303942,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE Comput. Sco. Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/lics.1991.151629","type":"proceedings-article","created":{"date-parts":[[2002,12,10]],"date-time":"2002-12-10T19:53:10Z","timestamp":1039549990000},"page":"43-50","source":"Crossref","is-referenced-by-count":23,"title":["Games semantics for linear logic"],"prefix":"10.1109","author":[{"given":"Y.","family":"Lafont","sequence":"first","affiliation":[]},{"given":"T.","family":"Streicher","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","volume":"gtm 5","author":"maclane","year":"1971","journal-title":"Categories for the Working Mathematician"},{"key":"ref3","volume":"1","author":"bouibaki","year":"1970","journal-title":"El\ufffdments de math\ufffdmatiques Alg\ufffdbre"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/092\/1003194"},{"key":"ref6","volume":"7","author":"girard","year":"1989","journal-title":"Cambridge Tracts in Theoretical Computer Science"},{"key":"ref11","first-page":"341","article-title":"A Dialectica-like Model of Linear Logic","volume":"389","author":"de paiva","year":"1989","journal-title":"Proc of CTCS'S"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"ref12","article-title":"Linear logic, *-autonomous categories and cofree coalgebras","author":"seely","year":"1987","journal-title":"Proc of AMS Conf in Logic and Computer Science"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(88)90100-4"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0061280","volume":"391","author":"gray","year":"1974","journal-title":"Formal Category Theory Adjointness for 2-Categcries"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500001274"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511629150.012"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0064579","volume":"752","author":"barr","year":"1979","journal-title":"*-autonomous categories"}],"event":{"name":"Sixth Annual IEEE Symposium on Logic in Computer Science","location":"Amsterdam, Netherlands"},"container-title":["[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx2\/360\/3979\/00151629.pdf?arnumber=151629","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,20]],"date-time":"2018-01-20T22:40:23Z","timestamp":1516488023000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/151629\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/lics.1991.151629","relation":{},"subject":[]}}