@inproceedings{DBLP:conf/lics/Lago16,
  author       = {Ugo Dal Lago},
  editor       = {Martin Grohe and
                  Eric Koskinen and
                  Natarajan Shankar},
  title        = {Infinitary Lambda Calculi from a Linear Perspective},
  booktitle    = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
                  Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
  pages        = {447--456},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2933575.2934505},
  doi          = {10.1145/2933575.2934505},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/Lago16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"ACAApS5vseensm9tv","bibbaseid":"lago-infinitarylambdacalculifromalinearperspective-2016","author_short":["Lago, U. D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ugo","Dal"],"propositions":[],"lastnames":["Lago"],"suffixes":[]}],"editor":[{"firstnames":["Martin"],"propositions":[],"lastnames":["Grohe"],"suffixes":[]},{"firstnames":["Eric"],"propositions":[],"lastnames":["Koskinen"],"suffixes":[]},{"firstnames":["Natarajan"],"propositions":[],"lastnames":["Shankar"],"suffixes":[]}],"title":"Infinitary Lambda Calculi from a Linear Perspective","booktitle":"Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016","pages":"447–456","publisher":"ACM","year":"2016","url":"https://doi.org/10.1145/2933575.2934505","doi":"10.1145/2933575.2934505","timestamp":"Wed, 11 Aug 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/lics/Lago16.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/lics/Lago16,\n author = {Ugo Dal Lago},\n editor = {Martin Grohe and\n Eric Koskinen and\n Natarajan Shankar},\n title = {Infinitary Lambda Calculi from a Linear Perspective},\n booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer\n Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},\n pages = {447--456},\n publisher = {{ACM}},\n year = {2016},\n url = {https://doi.org/10.1145/2933575.2934505},\n doi = {10.1145/2933575.2934505},\n timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/lics/Lago16.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Lago, U. D."],"editor_short":["Grohe, M.","Koskinen, E.","Shankar, N."],"key":"DBLP:conf/lics/Lago16","id":"DBLP:conf/lics/Lago16","bibbaseid":"lago-infinitarylambdacalculifromalinearperspective-2016","role":"author","urls":{"Paper":"https://doi.org/10.1145/2933575.2934505"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/44/3105.bib","dataSources":["YqxpDqzvaehKMgHN9"],"keywords":[],"search_terms":["infinitary","lambda","calculi","linear","perspective","lago"],"title":"Infinitary Lambda Calculi from a Linear Perspective","year":2016}