{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T04:02:19Z","timestamp":1747627339342,"version":"3.40.5"},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1999,6,1]],"date-time":"1999-06-01T00:00:00Z","timestamp":928195200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,6,1]],"date-time":"1999-06-01T00:00:00Z","timestamp":928195200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Applied Categorical Structures"],"published-print":{"date-parts":[[1999,6]]},"DOI":"10.1023\/a:1008696303912","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T15:12:40Z","timestamp":1040569960000},"page":"129-145","source":"Crossref","is-referenced-by-count":0,"title":["A Convenient Category for Games and Interaction"],"prefix":"10.1007","volume":"7","author":[{"given":"J\u00fcrgen","family":"Koslowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"165361_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S.: Semantics of interaction: An introduction to game semantics, in A. M. Pitts and P. Dybjer (eds.), Semantics and Logics of Computation, Cambridge University Press, 1997, pp. 1-31.","DOI":"10.1017\/CBO9780511526619.002"},{"key":"165361_CR2","doi-asserted-by":"crossref","first-page":"543","DOI":"10.2307\/2275407","volume":"59","author":"S. Abramsky","year":"1994","unstructured":"Abramsky, S. and Jagadeesan, R.: Games and full completeness for multiplicative linear logic, J. Symbolic Logic\n59 (1994), 543-574.","journal-title":"J. Symbolic Logic"},{"key":"165361_CR3","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0168-0072(92)90073-9","volume":"56","author":"A. Blass","year":"1992","unstructured":"Blass, A.: A game semantics for linear logic, Ann. Pure Appl. Logic\n56 (1992), 183-220.","journal-title":"Ann. Pure Appl. Logic"},{"key":"165361_CR4","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/0022-4049(87)90121-6","volume":"49","author":"A. Carboni","year":"1987","unstructured":"Carboni, A. and Walters, R. F. C.: Cartesian bicategories I, J. Pure Appl. Algebra\n49 (1987), 11-32.","journal-title":"J. Pure Appl. Algebra"},{"key":"165361_CR5","doi-asserted-by":"crossref","unstructured":"Hyland, M.: Game semantics, in A. M. Pitts and P. Dybjer (eds.), Semantics and Logics of Computation, Cambridge University Press, 1997, pp. 131-184.","DOI":"10.1017\/CBO9780511526619.005"},{"key":"165361_CR6","unstructured":"Hyland, J. M. E. and Ong, C.-H. L.: Fair games and full completeness for multiplicative linear logic without the mix-rule, Working draft, July 1993."},{"key":"165361_CR7","first-page":"182","volume":"3","author":"J. Koslowski","year":"1997","unstructured":"Koslowski, J.: Monads and interpolads in bicategories, Theory and Applications of Categories\n3 (1997), 182-212.","journal-title":"Theory and Applications of Categories"},{"key":"165361_CR8","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1111\/j.1746-8361.1969.tb01194.x","volume":"23","author":"F. W. Lawvere","year":"1969","unstructured":"Lawvere, F. W.: Adjointness in foundations, Dialectica\n23 (1969), 281-296.","journal-title":"Dialectica"},{"key":"165361_CR9","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/BF00878445","volume":"3","author":"K. I. Rosenthal","year":"1995","unstructured":"Rosenthal, K. I.: Quantaloids, enriched categories and automata theory, Applied Categorical Structures\n3 (1995), 279-301.","journal-title":"Applied Categorical Structures"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008696303912.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008696303912\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008696303912.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:36:51Z","timestamp":1747579011000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008696303912"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,6]]},"references-count":9,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1999,6]]}},"alternative-id":["165361"],"URL":"https:\/\/doi.org\/10.1023\/a:1008696303912","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"type":"print","value":"0927-2852"},{"type":"electronic","value":"1572-9095"}],"subject":[],"published":{"date-parts":[[1999,6]]}}}