{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,8]],"date-time":"2023-01-08T19:32:18Z","timestamp":1673206338193},"reference-count":14,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2013,5,17]],"date-time":"2013-05-17T00:00:00Z","timestamp":1368748800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2014,2]]},"abstract":"<jats:p>We present a categorical model for intuitionistic linear logic in which objects are polynomial diagrams and morphisms are<jats:italic>simulation diagrams<\/jats:italic>. The multiplicative structure (tensor product and its adjoint) can be defined in any locally cartesian closed category, but the additive (product and coproduct) and exponential (<jats:private-char><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S0960129512001016_char1\" \/><\/jats:private-char>-comonoid comonad) structures require additional properties and are only developed in the category<jats:bold>Set<\/jats:bold>, where the objects and morphisms have natural interpretations in terms of games, simulation and strategies.<\/jats:p>","DOI":"10.1017\/s0960129512001016","type":"journal-article","created":{"date-parts":[[2013,5,17]],"date-time":"2013-05-17T07:50:07Z","timestamp":1368777007000},"source":"Crossref","is-referenced-by-count":4,"title":["A linear category of polynomial diagrams"],"prefix":"10.1017","volume":"24","author":[{"given":"PIERRE","family":"HYVERNAT","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2013,5,17]]},"reference":[{"key":"S0960129512001016_ref8","volume-title":"A Logical Investigation of Interaction Systems","author":"Hyvernat","year":"2005"},{"key":"S0960129512001016_ref10","first-page":"175","article-title":"Remarques sur la th\u00e9orie des jeux \u00e0 deux personnes.","volume":"1","author":"Joyal","year":"1977","journal-title":"Gazette des sciences math\u00e9matiques du Quebec"},{"key":"S0960129512001016_ref13","first-page":"277","volume-title":"Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009","author":"Morris","year":"2009"},{"key":"S0960129512001016_ref9","doi-asserted-by":"crossref","unstructured":"Hyvernat P. (2012) A linear category of polynomial functors (extensional part). In preparation.","DOI":"10.1017\/S0960129512001016"},{"key":"S0960129512001016_ref2","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005676"},{"key":"S0960129512001016_ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2005.05.022"},{"key":"S0960129512001016_ref12","volume-title":"Intuitionistic type theory","author":"Martin-L\u00f6f","year":"1984"},{"key":"S0960129512001016_ref5","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004112000394"},{"key":"S0960129512001016_ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(03)00392-X"},{"key":"S0960129512001016_ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.06.002"},{"key":"S0960129512001016_ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.08.003"},{"key":"S0960129512001016_ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0022273"},{"key":"S0960129512001016_ref14","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100061284"},{"key":"S0960129512001016_ref11","doi-asserted-by":"crossref","unstructured":"Kock J. (2009) Notes on polynomial functors. Preliminary draft.","DOI":"10.1093\/imrn\/rnq068"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129512001016","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,13]],"date-time":"2019-07-13T18:38:39Z","timestamp":1563043119000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129512001016\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5,17]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,2]]}},"alternative-id":["S0960129512001016"],"URL":"https:\/\/doi.org\/10.1017\/s0960129512001016","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,5,17]]},"article-number":"e240104"}}