{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:48Z","timestamp":1725456048114},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540590484"},{"type":"electronic","value":"9783540491781"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0014041","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:50:31Z","timestamp":1132732231000},"page":"1-15","source":"Crossref","is-referenced-by-count":2,"title":["Comparing \u03bb-calculus translations in sharing graphs"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Asperti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cosimo","family":"Laneve","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"1_CR1","unstructured":"A. Asperti. Linear Logic, Comonads, and Optimal Reductions. To appear in Fundamenta Informaticae, Special Issue devoted to Categories in Computer Science. 1994."},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"A. Asperti, C. Laneve. Optimal Reductions in Interaction Systems. Proc. of the 4th Joint Conference on the Theory and Practice of Software Development, TAPSOFT'93, Orsay (France). April 1993.","DOI":"10.1007\/3-540-56610-4_84"},{"key":"1_CR3","unstructured":"A. Asperti, C. Laneve. Interaction System 2: The practice of optimal reductions. May 1993. A revised version of this paper may be got by anonymous ftp at cma.cma.fr as file pub\/papers\/cosimo\/newIS2.ps.Z."},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"A. Asperti, V. Danos, C. Laneve, L. Regnier. Paths in the \u03bb-calculus: three years of communications without understandings. Proc. of the 9th Annual Symposium on Logic in Computer Science (LICS 94), Paris 1994.","DOI":"10.1109\/LICS.1994.316048"},{"key":"1_CR5","unstructured":"V. Danos, L. Regnier. Local and asynchronous beta-reduction. Proc. of the 8th Annual Symposium on Logic in Computer Science (LICS 93), Montreal. 1993."},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"J. Y. Girard. Linear Logic. Theoretical Computer Science, 50. 1986.","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"G. Gonthier, M. Abadi, J.J. L\u00e9vy. The geometry of optimal lambda reduction. Proc. of the 19th Symposium on Principles of Programming Languages (POPL 92). 1992.","DOI":"10.1145\/143165.143172"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"G. Gonthier, M. Abadi, J.J. L\u00e9vy. Linear Logic without boxes. Proc. of the 7th Annual Symposium on Logic in Computer Science (LICS'92). 1992.","DOI":"10.1109\/LICS.1992.185535"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"J. Lamping. An algorithm for optimal lambda calculus reductions. Proc. of the 17th Symposium on Principles of Programming Languages (POPL 90). San Francisco. 1990.","DOI":"10.1145\/96709.96711"},{"key":"1_CR10","unstructured":"J.J. Levy. R\u00e9ductions correctes et optimales dans le lambda-calcul. Th\u00e8se de doctorat d'\u00e9tat, Universit\u00e9 de Paris VII. 1978."},{"key":"1_CR11","unstructured":"L. Regnier. Lambda Calcul et R\u00e9seaux. Th\u00e8se de doctorat, Universit\u00e9 Paris VII. 1992."}],"container-title":["Lecture Notes in Computer Science","Typed Lambda Calculi and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014041","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:37:41Z","timestamp":1586579861000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014041"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540590484","9783540491781"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0014041","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}