{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:47:24Z","timestamp":1725518844633},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540877295"},{"type":"electronic","value":"9783540877301"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87730-1_17","type":"book-chapter","created":{"date-parts":[[2008,9,21]],"date-time":"2008-09-21T02:45:47Z","timestamp":1221965147000},"page":"165-171","source":"Crossref","is-referenced-by-count":3,"title":["Visual Programming with Interaction Nets"],"prefix":"10.1007","author":[{"given":"Abubakar","family":"Hassan","sequence":"first","affiliation":[]},{"given":"Ian","family":"Mackie","sequence":"additional","affiliation":[]},{"given":"Jorge","family":"Sousa Pinto","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Dami, L., Vallet, D.: Higher-order functional composition in visual form. Technical report (1996)"},{"issue":"1","key":"17_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(97)00082-0","volume":"190","author":"M. Fern\u00e1ndez","year":"1998","unstructured":"Fern\u00e1ndez, M., Mackie, I.: Interaction nets and term rewriting systems. Theoretical Computer Science\u00a0190(1), 3\u201339 (1998)","journal-title":"Theoretical Computer Science"},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/10704567_10","volume-title":"Principles and Practice of Declarative Programming","author":"M. Fern\u00e1ndez","year":"1999","unstructured":"Fern\u00e1ndez, M., Mackie, I.: A calculus for interaction nets. In: Nadathur, G. (ed.) PPDP 1999. LNCS, vol.\u00a01702, pp. 170\u2013187. Springer, Heidelberg (1999)"},{"issue":"1\u20133","key":"17_CR4","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0304-3975(02)00637-0","volume":"297","author":"M. Fern\u00e1ndez","year":"2003","unstructured":"Fern\u00e1ndez, M., Mackie, I.: Operational equivalence for interaction nets. Theoretical Computer Science\u00a0297(1\u20133), 157\u2013181 (2003)","journal-title":"Theoretical Computer Science"},{"key":"17_CR5","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/143165.143172","volume-title":"Proceedings of the 19th ACM Symposium on Principles of Programming Languages (POPL 1992)","author":"G. Gonthier","year":"1992","unstructured":"Gonthier, G., Abadi, M., L\u00e9vy, J.-J.: The geometry of optimal lambda reduction. In: Proceedings of the 19th ACM Symposium on Principles of Programming Languages (POPL 1992), January 1992, pp. 15\u201326. ACM Press, New York (1992)"},{"key":"17_CR6","first-page":"100","volume-title":"Proc. Intnl. Conf. on Functional Programming","author":"K. Hanna","year":"2002","unstructured":"Hanna, K.: Interactive Visual Functional Programming. In: Jones, S.P. (ed.) Proc. Intnl. Conf. on Functional Programming, October 2002, pp. 100\u2013112. ACM Press, New York (2002)"},{"key":"17_CR7","unstructured":"Kelso, J.: A Visual Programming Environment for Functional Languages. Ph.D thesis, Murdoch University (2002)"},{"key":"17_CR8","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/96709.96718","volume-title":"Proceedings of the 17th ACM Symposium on Principles of Programming Languages (POPL 1990)","author":"Y. Lafont","year":"1990","unstructured":"Lafont, Y.: Interaction nets. In: Proceedings of the 17th ACM Symposium on Principles of Programming Languages (POPL 1990), January 1990, pp. 95\u2013108. ACM Press, New York (1990)"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/978-3-540-25979-4_11","volume-title":"Rewriting Techniques and Applications","author":"I. Mackie","year":"2004","unstructured":"Mackie, I.: Efficient \u03bb-evaluation with interaction nets. In: van Oostrom, V. (ed.) RTA 2004. LNCS, vol.\u00a03091, pp. 155\u2013169. Springer, Heidelberg (2004)"},{"issue":"5","key":"17_CR10","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/j.entcs.2005.02.015","volume":"127","author":"I. Mackie","year":"2005","unstructured":"Mackie, I.: Towards a programming language for interaction nets. Electronic Notes in Theoretical Computer Science\u00a0127(5), 133\u2013151 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"17_CR11","unstructured":"Pinto, J.S.: Parallel Implementation with Linear Logic. Ph.D thesis, \u00c9cole Polytechnique (February 2001)"},{"key":"17_CR12","unstructured":"Reekie, H.J.: Realtime Signal Processing \u2013 Dataflow, Visual, and Functional Programming. Ph.D thesis, University of Technology at Sydney (1995)"}],"container-title":["Lecture Notes in Computer Science","Diagrammatic Representation and Inference"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87730-1_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:45:37Z","timestamp":1619523937000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87730-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540877295","9783540877301"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87730-1_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}