{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,3]],"date-time":"2024-07-03T11:21:06Z","timestamp":1720005666633},"reference-count":0,"publisher":"Cambridge University Press (CUP)","issue":"5","license":[{"start":{"date-parts":[[2002,10,24]],"date-time":"2002-10-24T00:00:00Z","timestamp":1035417600000},"content-version":"unspecified","delay-in-days":23,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2002,10]]},"abstract":"We present an axiomatic framework for Girard's Geometry of Interaction based on the notion \nof linear combinatory algebra. We give a general construction on traced monoidal categories, \nwith certain additional structure, that is sufficient to capture the exponentials of Linear Logic, \nwhich produces such algebras (and hence also ordinary combinatory algebras). We illustrate the \nconstruction on six standard examples, representing both the \u2018particle-style\u2019 as \nwell as the \u2018wave-style\u2019 Geometry of Interaction.<\/jats:p>","DOI":"10.1017\/s0960129502003730","type":"journal-article","created":{"date-parts":[[2002,10,30]],"date-time":"2002-10-30T11:46:10Z","timestamp":1035978370000},"page":"625-665","source":"Crossref","is-referenced-by-count":91,"title":["Geometry of Interaction and linear combinatory algebras"],"prefix":"10.1017","volume":"12","author":[{"given":"SAMSON","family":"ABRAMSKY","sequence":"first","affiliation":[]},{"given":"ESFANDIAR","family":"HAGHVERDI","sequence":"additional","affiliation":[]},{"given":"PHILIP","family":"SCOTT","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2002,10,24]]},"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129502003730","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T00:31:13Z","timestamp":1557189073000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129502003730\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,10]]},"references-count":0,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2002,10]]}},"alternative-id":["S0960129502003730"],"URL":"https:\/\/doi.org\/10.1017\/s0960129502003730","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,10]]}}}