@inproceedings{DBLP:conf/icalp/LagoM09,
  author       = {Ugo Dal Lago and
                  Simone Martini},
  editor       = {Susanne Albers and
                  Alberto Marchetti{-}Spaccamela and
                  Yossi Matias and
                  Sotiris E. Nikoletseas and
                  Wolfgang Thomas},
  title        = {On Constructor Rewrite Systems and the Lambda-Calculus},
  booktitle    = {Automata, Languages and Programming, 36th Internatilonal Colloquium,
                  {ICALP} 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {5556},
  pages        = {163--174},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02930-1\_14},
  doi          = {10.1007/978-3-642-02930-1\_14},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icalp/LagoM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"Tr6JKCb8XP7KBqtqH","bibbaseid":"lago-martini-onconstructorrewritesystemsandthelambdacalculus-2009","author_short":["Lago, U. D.","Martini, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ugo","Dal"],"propositions":[],"lastnames":["Lago"],"suffixes":[]},{"firstnames":["Simone"],"propositions":[],"lastnames":["Martini"],"suffixes":[]}],"editor":[{"firstnames":["Susanne"],"propositions":[],"lastnames":["Albers"],"suffixes":[]},{"firstnames":["Alberto"],"propositions":[],"lastnames":["Marchetti-Spaccamela"],"suffixes":[]},{"firstnames":["Yossi"],"propositions":[],"lastnames":["Matias"],"suffixes":[]},{"firstnames":["Sotiris","E."],"propositions":[],"lastnames":["Nikoletseas"],"suffixes":[]},{"firstnames":["Wolfgang"],"propositions":[],"lastnames":["Thomas"],"suffixes":[]}],"title":"On Constructor Rewrite Systems and the Lambda-Calculus","booktitle":"Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II","series":"Lecture Notes in Computer Science","volume":"5556","pages":"163–174","publisher":"Springer","year":"2009","url":"https://doi.org/10.1007/978-3-642-02930-1\\_14","doi":"10.1007/978-3-642-02930-1_14","timestamp":"Fri, 27 Mar 2020 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/icalp/LagoM09.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/icalp/LagoM09,\n author = {Ugo Dal Lago and\n Simone Martini},\n editor = {Susanne Albers and\n Alberto Marchetti{-}Spaccamela and\n Yossi Matias and\n Sotiris E. Nikoletseas and\n Wolfgang Thomas},\n title = {On Constructor Rewrite Systems and the Lambda-Calculus},\n booktitle = {Automata, Languages and Programming, 36th Internatilonal Colloquium,\n {ICALP} 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part {II}},\n series = {Lecture Notes in Computer Science},\n volume = {5556},\n pages = {163--174},\n publisher = {Springer},\n year = {2009},\n url = {https://doi.org/10.1007/978-3-642-02930-1\\_14},\n doi = {10.1007/978-3-642-02930-1\\_14},\n timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/icalp/LagoM09.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Lago, U. D.","Martini, S."],"editor_short":["Albers, S.","Marchetti-Spaccamela, A.","Matias, Y.","Nikoletseas, S. E.","Thomas, W."],"key":"DBLP:conf/icalp/LagoM09","id":"DBLP:conf/icalp/LagoM09","bibbaseid":"lago-martini-onconstructorrewritesystemsandthelambdacalculus-2009","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-02930-1\\_14"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/44/3105.bib","dataSources":["YqxpDqzvaehKMgHN9"],"keywords":[],"search_terms":["rewrite","systems","lambda","calculus","lago","martini"],"title":"On Constructor Rewrite Systems and the Lambda-Calculus","year":2009}