{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:46:21Z","timestamp":1725745581051},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,7,14]]},"DOI":"10.1145\/2603088.2603105","type":"proceedings-article","created":{"date-parts":[[2014,7,28]],"date-time":"2014-07-28T09:21:45Z","timestamp":1406539305000},"page":"1-10","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Beta reduction is invariant, indeed"],"prefix":"10.1145","author":[{"given":"Beniamino","family":"Accattoli","sequence":"first","affiliation":[{"name":"Universit\u00e0 di Bologna"}]},{"given":"Ugo","family":"Dal Lago","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Bologna & INRIA"}]}],"member":"320","published-online":{"date-parts":[[2014,7,14]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"6","volume-title":"RTA","author":"Accattoli B.","year":"2012"},{"key":"e_1_3_2_1_2_1","unstructured":"B. Accattoli and U. Dal Lago. Beta reduction is invariant indeed (long version). Available at http:\/\/eternal.cs.unibo.it\/brii.pdf. B. Accattoli and U. Dal Lago. Beta reduction is invariant indeed (long version). Available at http:\/\/eternal.cs.unibo.it\/brii.pdf."},{"key":"e_1_3_2_1_3_1","first-page":"22","volume-title":"RTA","author":"Accattoli B.","year":"2012"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"B. Accattoli and C. Sacerdoti Coen. On the Value of Variables. Accepted to WoLLIC 2014 2014. B. Accattoli and C. Sacerdoti Coen. On the Value of Variables. Accepted to WoLLIC 2014 2014.","DOI":"10.1007\/978-3-662-44145-9_3"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"B. Accattoli P. Barenbaum and D. Mazza. Distilling Abstract Machines. Accepted to ICFP 2014 2014. B. Accattoli P. Barenbaum and D. Mazza. Distilling Abstract Machines. Accepted to ICFP 2014 2014.","DOI":"10.1145\/2628136.2628154"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535886"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268971"},{"key":"e_1_3_2_1_8_1","first-page":"33","volume-title":"RTA","author":"Avanzini M.","year":"2010"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2008.08.005"},{"volume-title":"North-Holland","year":"1984","author":"Barendregt H. P.","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"P. Coppola U. Dal Lago and S. Ronchi Della Rocca. Light logics and the call-by-value lambda calculus. Logical Methods in Computer Science 4(4) 2008. P. Coppola U. Dal Lago and S. Ronchi Della Rocca. Light logics and the call-by-value lambda calculus. Logical Methods in Computer Science 4(4) 2008.","DOI":"10.2168\/LMCS-4(4:5)2008"},{"volume-title":"North-Holland Publishing Company","year":"1958","author":"Curry H.","key":"e_1_3_2_1_12_1"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.01.044"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"U. Dal Lago and S. Martini. On constructor rewrite systems and the lambda calculus. Logical Methods in Computer Science 8(3) 2012. U. Dal Lago and S. Martini. On constructor rewrite systems and the lambda calculus. Logical Methods in Computer Science 8(3) 2012.","DOI":"10.2168\/LMCS-8(3:12)2012"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11957-6_12"},{"key":"e_1_3_2_1_16_1","first-page":"71","volume-title":"Mathematical Logic and Theoretical Computer Science, number 106 in Lecture Notes in Pure and Applied Mathematics","author":"de Bruijn N. G.","year":"1987"},{"key":"e_1_3_2_1_17_1","first-page":"253","volume-title":"CSL","author":"Gaboardi M.","year":"2007"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328456"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/232627.232639"},{"volume-title":"Univ. Paris VII","year":"1978","author":"L\u00e9vy J.-J.","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.07.035"},{"key":"e_1_3_2_1_23_1","unstructured":"S.\n \n Peyton Jones\n .\n \n \n \n The Implementation of Functional Programming Languages\n . \n International Series in Computer Science\n . \n Prentice-Hall 1987\n . S. Peyton Jones. The Implementation of Functional Programming Languages . International Series in Computer Science. Prentice-Hall 1987."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2007.45"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/800057.808705"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(79)90007-0"},{"volume-title":"PhD Thesis","year":"1971","author":"Wadsworth C. P.","key":"e_1_3_2_1_27_1"}],"event":{"name":"CSL-LICS '14: JOINT MEETING OF the Twenty-Third EACSL Annual Conference on COMPUTER SCIENCE LOGIC","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","EACSL European Association for Computer Science Logic","IEEE-CS\\DATC IEEE Computer Society","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Vienna Austria","acronym":"CSL-LICS '14"},"container-title":["Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2603088.2603105","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,8]],"date-time":"2023-01-08T14:03:56Z","timestamp":1673186636000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2603088.2603105"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,14]]},"references-count":26,"alternative-id":["10.1145\/2603088.2603105","10.1145\/2603088"],"URL":"https:\/\/doi.org\/10.1145\/2603088.2603105","relation":{},"subject":[],"published":{"date-parts":[[2014,7,14]]},"assertion":[{"value":"2014-07-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}