{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T00:08:48Z","timestamp":1742947728731,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662553855"},{"type":"electronic","value":"9783662553862"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-55386-2_16","type":"book-chapter","created":{"date-parts":[[2017,6,28]],"date-time":"2017-06-28T07:24:53Z","timestamp":1498634693000},"page":"229-241","source":"Crossref","is-referenced-by-count":2,"title":["A Geometry of Interaction Machine for G\u00f6del\u2019s System T"],"prefix":"10.1007","author":[{"given":"Ian","family":"Mackie","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,29]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1016\/j.tcs.2005.07.002","volume":"347","author":"S Abramsky","year":"2005","unstructured":"Abramsky, S.: A structural approach to reversible computation. Theoret. Comput. Sci. 347, 441\u2013464 (2005)","journal-title":"Theoret. Comput. Sci."},{"issue":"11\u201313","key":"16_CR2","doi-asserted-by":"crossref","first-page":"1484","DOI":"10.1016\/j.tcs.2009.11.014","volume":"411","author":"S Alves","year":"2010","unstructured":"Alves, S., Fern\u00e1ndez, M., Florido, M., Mackie, I.: G\u00f6del\u2019s system \n            $$\\cal{T}$$\n           revisited. Theoret. Comput. Sci. 411(11\u201313), 1484\u20131500 (2010)","journal-title":"Theoret. Comput. Sci."},{"key":"16_CR3","unstructured":"Barendregt, H.P.: The Lambda Calculus: Its Syntax and Semantics, Studies in Logic and the Foundations of Mathematics, second, revised edn., vol. 103. North-Holland Publishing Company (1984)"},{"issue":"1","key":"16_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"JY Girard","year":"1987","unstructured":"Girard, J.Y.: Linear logic. Theoret. Comput. Sci. 50(1), 1\u2013102 (1987)","journal-title":"Theoret. Comput. Sci."},{"key":"16_CR5","first-page":"221","volume-title":"Logic Colloquium 88, Studies in Logic and the Foundations of Mathematics","author":"JY Girard","year":"1989","unstructured":"Girard, J.Y.: Geometry of interaction 1: interpretation of system F. In: Ferro, R., Bonotto, C., Valentini, S., Zanardo, A. (eds.) Logic Colloquium 88, Studies in Logic and the Foundations of Mathematics, vol. 127, pp. 221\u2013260. North Holland Publishing Company, Amsterdam (1989)"},{"key":"16_CR6","volume-title":"Proofs and Types","author":"JY Girard","year":"1989","unstructured":"Girard, J.Y., Taylor, P., Lafont, Y.: Proofs and Types. Cambridge University Press, New York, USA (1989)"},{"key":"16_CR7","volume-title":"An Introduction to Lambda Calculi for Computer Scientists, Texts in Computing","author":"C Hankin","year":"2004","unstructured":"Hankin, C.: An Introduction to Lambda Calculi for Computer Scientists, Texts in Computing, vol. 2. King\u2019s College Publications, London (2004)"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/10722298_6","volume-title":"Implementation of Functional Languages","author":"W Kluge","year":"2000","unstructured":"Kluge, W.: A reversible SE(M)CD machine. In: Koopman, P., Clack, C. (eds.) IFL 1999. LNCS, vol. 1868, pp. 95\u2013113. Springer, Heidelberg (2000). doi:\n10.1007\/10722298_6"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Mackie, I.: The geometry of interaction machine. In: Proceedings of the 22nd ACM Symposium on Principles of Programming Languages (POPL 1995), pp. 198\u2013208. ACM Press, January 1995","DOI":"10.1145\/199448.199483"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-55386-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,7,3]],"date-time":"2017-07-03T06:30:07Z","timestamp":1499063407000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-55386-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662553855","9783662553862"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-55386-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}