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

{"_id":"jyJkDJ8zDLEPXtJgN","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}