{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:27:45Z","timestamp":1725488865806},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439165"},{"type":"electronic","value":"9783540456100"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45610-4_29","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T06:47:11Z","timestamp":1186901231000},"page":"380-385","source":"Crossref","is-referenced-by-count":7,"title":["in2: A Graphical Interpreter for Interaction Nets"],"prefix":"10.1007","author":[{"given":"Sylvain","family":"Lippi","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,7,9]]},"reference":[{"issue":"1","key":"29_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"J.-Y. Girard. Linear logic. Theoretical Computer Science 50, 50(1):1\u2013102, 1987.","journal-title":"Theoretical Computer Science 50"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Y. Lafont. Interaction nets. In proceedings of the 17th Annnual ACM Symposium on Principles of Programming Languages, Orlando (Fla., USA), pages 95\u2013108, 1990.","DOI":"10.1145\/96709.96718"},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"Y. Lafont. From proof-nets to interaction nets. In Advances in Linear Logic, London Mathematical Society Lecture Note Series 222. Cambridge University Press, 1995.","DOI":"10.1017\/CBO9780511629150.012"},{"issue":"1","key":"29_CR4","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1006\/inco.1997.2643","volume":"137","author":"Y. Lafont","year":"1997","unstructured":"Y. Lafont. Interaction combinators. Information and Computation, 137(1):69\u2013101, 1997.","journal-title":"Information and Computation"},{"key":"29_CR5","unstructured":"Sylvain Lippi. Interaction nets as a programming language. Technical report, Institut de Math\u00e9matiques de Luminy, 2001."},{"key":"29_CR6","doi-asserted-by":"crossref","unstructured":"Sylvain Lippi. Encoding left reduction in the lambda-calculus with interaction nets. To appear in Mathematical Structures in Computer Science, 2002.","DOI":"10.1017\/S0960129502003754"},{"key":"29_CR7","unstructured":"Peter Mattis and the GTK+ team. The GIMP Toolkit. http:\/\/www.gtk.org , 1998."}],"container-title":["Lecture Notes in Computer Science","Rewriting Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45610-4_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T23:54:21Z","timestamp":1556754861000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45610-4_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439165","9783540456100"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-45610-4_29","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}