@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}
}

{"_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}