{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T11:16:51Z","timestamp":1778757411545,"version":"3.51.4"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/lics.2004.1319615","type":"proceedings-article","created":{"date-parts":[[2004,11,12]],"date-time":"2004-11-12T19:14:14Z","timestamp":1100286854000},"page":"211-220","source":"Crossref","is-referenced-by-count":11,"title":["On the geometry of interaction for classical logic"],"prefix":"10.1109","author":[{"given":"C.","family":"Fuhrmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Pym","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/13.5.777"},{"key":"22","author":"urban","year":"2000","journal-title":"Classical Logic and Computation"},{"key":"17","author":"prawitz","year":"1965","journal-title":"Natural deduction a proof-theoretical study"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(00)00161-4"},{"key":"15","author":"girard","year":"1989","journal-title":"Proofs and Types"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0013061"},{"key":"13","first-page":"76","article-title":"Geometry of interaction II: Deadlock-free algorithms","volume":"417","author":"girard","year":"1990","journal-title":"Proceedings COLOG (Tallinn 88) Volume 417 of LNCS"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511629150.017"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"12","first-page":"221","article-title":"Geometry of interaction I: Interpretation of system F","volume":"127","author":"girard","year":"1989","journal-title":"Logic Collegium (Padova 1988) Volume 127 of Stud Logic Found Math"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1017\/S096012950000311X"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(95)00160-3"},{"key":"20","volume":"348","author":"rosenthal","year":"1996","journal-title":"The Theory of Quantaloids Volume 348 of Pitman Research Notes in Mathematics"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500001274"},{"key":"1","article-title":"Geometry of interaction and linear combinatory algebras","author":"abramsky","year":"2001","journal-title":"Mathematical Structures in Computer Science"},{"key":"10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","author":"mac lane","year":"1971","journal-title":"Categories for the Working Mathematician"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(01)00075-6"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/BF01201353"},{"key":"5","author":"fu?hrmann","year":"2004","journal-title":"Order-enriched Categorical Models of the Classical Sequent Calculus"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2004.1319615"},{"key":"9","volume":"7","author":"lambek","year":"1986","journal-title":"Introduction to Higher Order Categorical Logic Volume 7 of Cambridge Studies in Advanced Mathematics"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100074338"}],"event":{"name":"Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.","location":"Turku, Finland","start":{"date-parts":[[2004,7,17]]},"end":{"date-parts":[[2004,7,17]]}},"container-title":["Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9221\/29239\/01319615.pdf?arnumber=1319615","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T07:53:01Z","timestamp":1497599581000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1319615\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/lics.2004.1319615","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}