Taming Modal Impredicativity: Superlazy Reduction. Lago, U. D., Roversi, L., & Vercelli, L. In Artëmov, S. N. & Nerode, A., editors, Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings, volume 5407, of Lecture Notes in Computer Science, pages 137–151, 2009. Springer.
Paper doi bibtex @inproceedings{DBLP:conf/lfcs/LagoRV09,
author = {Ugo Dal Lago and
Luca Roversi and
Luca Vercelli},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Taming Modal Impredicativity: Superlazy Reduction},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {137--151},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_10},
doi = {10.1007/978-3-540-92687-0\_10},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/LagoRV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"7cy5zW5owaPugGkyi","bibbaseid":"lago-roversi-vercelli-tamingmodalimpredicativitysuperlazyreduction-2009","author_short":["Lago, U. D.","Roversi, L.","Vercelli, L."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ugo","Dal"],"propositions":[],"lastnames":["Lago"],"suffixes":[]},{"firstnames":["Luca"],"propositions":[],"lastnames":["Roversi"],"suffixes":[]},{"firstnames":["Luca"],"propositions":[],"lastnames":["Vercelli"],"suffixes":[]}],"editor":[{"firstnames":["Sergei","N."],"propositions":[],"lastnames":["Artëmov"],"suffixes":[]},{"firstnames":["Anil"],"propositions":[],"lastnames":["Nerode"],"suffixes":[]}],"title":"Taming Modal Impredicativity: Superlazy Reduction","booktitle":"Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings","series":"Lecture Notes in Computer Science","volume":"5407","pages":"137–151","publisher":"Springer","year":"2009","url":"https://doi.org/10.1007/978-3-540-92687-0\\_10","doi":"10.1007/978-3-540-92687-0_10","timestamp":"Fri, 27 Mar 2020 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/lfcs/LagoRV09.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/lfcs/LagoRV09,\n author = {Ugo Dal Lago and\n Luca Roversi and\n Luca Vercelli},\n editor = {Sergei N. Art{\\\"{e}}mov and\n Anil Nerode},\n title = {Taming Modal Impredicativity: Superlazy Reduction},\n booktitle = {Logical Foundations of Computer Science, International Symposium,\n {LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {5407},\n pages = {137--151},\n publisher = {Springer},\n year = {2009},\n url = {https://doi.org/10.1007/978-3-540-92687-0\\_10},\n doi = {10.1007/978-3-540-92687-0\\_10},\n timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/lfcs/LagoRV09.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Lago, U. D.","Roversi, L.","Vercelli, L."],"editor_short":["Artëmov, S. N.","Nerode, A."],"key":"DBLP:conf/lfcs/LagoRV09","id":"DBLP:conf/lfcs/LagoRV09","bibbaseid":"lago-roversi-vercelli-tamingmodalimpredicativitysuperlazyreduction-2009","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-92687-0\\_10"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/44/3105.bib","dataSources":["YqxpDqzvaehKMgHN9"],"keywords":[],"search_terms":["taming","modal","impredicativity","superlazy","reduction","lago","roversi","vercelli"],"title":"Taming Modal Impredicativity: Superlazy Reduction","year":2009}