{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:24:51Z","timestamp":1729657491130,"version":"3.28.0"},"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":9,"title":["On the geometry of interaction for classical logic"],"prefix":"10.1109","author":[{"given":"C.","family":"Fuhrmann","sequence":"first","affiliation":[]},{"given":"D.","family":"Pym","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/13.5.777"},{"journal-title":"Classical Logic and Computation","year":"2000","author":"urban","key":"22"},{"journal-title":"Natural deduction a proof-theoretical study","year":"1965","author":"prawitz","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(00)00161-4"},{"journal-title":"Proofs and Types","year":"1989","author":"girard","key":"15"},{"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"},{"journal-title":"Order-enriched Categorical Models of the Classical Sequent Calculus","year":"2004","author":"fu?hrmann","key":"5"},{"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.","start":{"date-parts":[[2004,7,17]]},"location":"Turku, Finland","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]]}}}