Beta reduction is invariant, indeed. Accattoli, B. & Lago, U. D. In Henzinger, T. A. & Miller, D., editors, 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), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, pages 8:1–8:10, 2014. ACM. Paper doi bibtex @inproceedings{DBLP:conf/csl/AccattoliL14,
author = {Beniamino Accattoli and
Ugo Dal Lago},
editor = {Thomas A. Henzinger and
Dale Miller},
title = {Beta reduction is invariant, indeed},
booktitle = {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), {CSL-LICS} '14, Vienna, Austria,
July 14 - 18, 2014},
pages = {8:1--8:10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2603088.2603105},
doi = {10.1145/2603088.2603105},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/AccattoliL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"K9QLtTFf9JqnGArf2","bibbaseid":"accattoli-lago-betareductionisinvariantindeed-2014","author_short":["Accattoli, B.","Lago, U. D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Beniamino"],"propositions":[],"lastnames":["Accattoli"],"suffixes":[]},{"firstnames":["Ugo","Dal"],"propositions":[],"lastnames":["Lago"],"suffixes":[]}],"editor":[{"firstnames":["Thomas","A."],"propositions":[],"lastnames":["Henzinger"],"suffixes":[]},{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]}],"title":"Beta reduction is invariant, indeed","booktitle":"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), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014","pages":"8:1–8:10","publisher":"ACM","year":"2014","url":"https://doi.org/10.1145/2603088.2603105","doi":"10.1145/2603088.2603105","timestamp":"Fri, 27 Mar 2020 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/csl/AccattoliL14.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/csl/AccattoliL14,\n author = {Beniamino Accattoli and\n Ugo Dal Lago},\n editor = {Thomas A. Henzinger and\n Dale Miller},\n title = {Beta reduction is invariant, indeed},\n booktitle = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer\n Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium\n on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria,\n July 14 - 18, 2014},\n pages = {8:1--8:10},\n publisher = {{ACM}},\n year = {2014},\n url = {https://doi.org/10.1145/2603088.2603105},\n doi = {10.1145/2603088.2603105},\n timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/csl/AccattoliL14.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Accattoli, B.","Lago, U. D."],"editor_short":["Henzinger, T. A.","Miller, D."],"key":"DBLP:conf/csl/AccattoliL14","id":"DBLP:conf/csl/AccattoliL14","bibbaseid":"accattoli-lago-betareductionisinvariantindeed-2014","role":"author","urls":{"Paper":"https://doi.org/10.1145/2603088.2603105"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/44/3105.bib","dataSources":["YqxpDqzvaehKMgHN9"],"keywords":[],"search_terms":["beta","reduction","invariant","indeed","accattoli","lago"],"title":"Beta reduction is invariant, indeed","year":2014}