On Constructor Rewrite Systems and the Lambda-Calculus. Lago, U. D. & Martini, S. In Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S. E., & Thomas, W., editors, Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II, volume 5556, of Lecture Notes in Computer Science, pages 163–174, 2009. Springer. Paper doi bibtex @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}
}
Downloads: 0
{"_id":"W2YLWwiSATz9khT5F","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}