{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:20:35Z","timestamp":1737436835561,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540443100"},{"type":"electronic","value":"9783540458326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45832-8_8","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T15:13:34Z","timestamp":1188314014000},"page":"75-89","source":"Crossref","is-referenced-by-count":5,"title":["Call-by-Value \u03bb-Graph Rewriting Without Rewriting"],"prefix":"10.1007","author":[{"given":"Maribel","family":"Fern\u00e1ndez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"Mackie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"key":"8_CR1","unstructured":"A. Asperti and S. Guerrini. The Optimal Implementation of Functional Programming Languages, volume 45 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1998."},{"key":"8_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/3-540-56868-9_13","volume-title":"Rewriting Techniques and Applications. 5th International Conference, RTA-93, Montreal, Canada","author":"A. Asperti","year":"1993","unstructured":"A. Asperti and C. Laneve. Paths, computations and labels in the \u03bb-calculus. In C. Kirchner, editor, Rewriting Techniques and Applications. 5th International Conference, RTA-93, Montreal, Canada, volume 690 of LNCS, pages 152\u2013167. Springer-Verlag, June 1993."},{"key":"8_CR3","unstructured":"H. P. Barendregt. The Lambda Calculus: Its Syntax and Semantics, volume 103 of Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, second, revised edition, 1984."},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/0167-6423(87)90020-7","volume":"8","author":"G. Cousineau","year":"1987","unstructured":"G. Cousineau, P.-L. Curien, and M. Mauny. The categorical abstract machine. Science of Computer Programming, 8:173\u2013202, 1987.","journal-title":"Science of Computer Programming"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1016\/0304-3975(91)90230-Y","volume":"82","author":"P.-L. Curien","year":"1991","unstructured":"P.-L. Curien. An abstract framework for environment machines. Theoretical Computer Science, 82:389\u2013402, 1991.","journal-title":"Theoretical Computer Science"},{"key":"8_CR6","unstructured":"V. Danos. La Logique Lin\u00e9aire appliqu\u00e9e \u00e1 l\u2019\u00e9tude de divers processus de Normalisation (principalement du \u03bb-calcul). PhD thesis, Universit\u00e9 Paris VII, 1990."},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"V. Danos and L. Regnier. Local and asynchronous beta-reduction (an analysis of Girard\u2019s execution formula). In Proceedings of the 8th Annual IEEE Symposium on Logic in Computer Science (LICS\u201993), pages 296\u2013306. IEEE Computer Society Press, 1993.","DOI":"10.1109\/LICS.1993.287578"},{"issue":"1\u20132","key":"8_CR8","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/S0304-3975(99)00049-3","volume":"227","author":"V. Danos","year":"1999","unstructured":"V. Danos and L. Regnier. Reversible, irreversible and optimal \u03bb-machines. Theoretical Computer Science, 227(1\u20132):79\u201397, 1999.","journal-title":"Theoretical Computer Science"},{"key":"8_CR9","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/1385-7258(72)90034-0","volume":"34","author":"N. G. Bruijn de","year":"1972","unstructured":"N. G. de Bruijn. Lambda calculus notation with nameless dummies. Indagationes Mathematicae, 34:381\u2013392, 1972.","journal-title":"Indagationes Mathematicae"},{"issue":"1","key":"8_CR10","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(1):1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"8_CR11","series-title":"Studies in Logic and the Foundations of Mathematics","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0049-237X(08)70271-4","volume-title":"Logic Colloquium 88","author":"J.-Y. Girard","year":"1989","unstructured":"J.-Y. Girard. Geometry of interaction 1: Interpretation of System F. In R. Ferro, C. Bonotto, S. Valentini, and A. Zanardo, editors, Logic Colloquium 88, volume 127 of Studies in Logic and the Foundations of Mathematics, pages 221\u2013260. North Holland Publishing Company, Amsterdam, 1989."},{"key":"8_CR12","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1093\/comjnl\/6.4.308","volume":"6","author":"P. J. Landin","year":"1964","unstructured":"P. J. Landin. The mechanical evaluation of expressions. Computer Journal, 6:308\u2013320, 1964.","journal-title":"Computer Journal"},{"key":"8_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/3-540-45413-6_23","volume-title":"Proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, (TLCA 2001)","author":"O. Laurent","year":"2001","unstructured":"O. Laurent. A token machine for full geometry of interaction. In S. Abramsky, editor, Proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, (TLCA 2001), volume 2044 of LNCS, pages 283\u2013297. Springer-Verlag, 2001."},{"key":"8_CR14","unstructured":"J.-J. L\u00e9vy. R\u00e9ductions Correctes et Optimales dans le Lambda-Calcul. Th\u00e8se d\u2019\u00e9tat, Universit\u00e9 Paris VII, January 1978."},{"key":"8_CR15","unstructured":"I. Mackie. The Geometry of Implementation. PhD thesis, Department of Computing, Imperial College of Science, Technology and Medicine, September 1994."},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"I. Mackie. The geometry of interaction machine. In Proceedings of the 22nd ACM Symposium on Principles of Programming Languages (POPL\u201995), pages 198\u2013208. ACM Press, January 1995.","DOI":"10.1145\/199448.199483"},{"key":"8_CR17","unstructured":"S. L. Peyton Jones. The Implementation of Functional Programming Languages. Prentice Hall International, 1987."}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45832-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T18:13:55Z","timestamp":1737396835000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45832-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540443100","9783540458326"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45832-8_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}