BibTeX records: Carlos Lombardi

download as .bib file

@inproceedings{DBLP:conf/iticse/PasseriniL20,
  author       = {Nicol{\'{a}}s Passerini and
                  Carlos Lombardi},
  editor       = {Michail N. Giannakos and
                  Guttorm Sindre and
                  Andrew Luxton{-}Reilly and
                  Monica Divitini},
  title        = {Postponing the Concept of Class When Introducing {OOP}},
  booktitle    = {Proceedings of the 2020 {ACM} Conference on Innovation and Technology
                  in Computer Science Education, ITiCSE 2020, Trondheim, Norway, June
                  15-19, 2020},
  pages        = {152--158},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3341525.3387369},
  doi          = {10.1145/3341525.3387369},
  timestamp    = {Sun, 14 Jun 2020 10:48:50 +0200},
  biburl       = {https://dblp.org/rec/conf/iticse/PasseriniL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LombardiRV19,
  author       = {Carlos Lombardi and
                  Alejandro R{\'{\i}}os and
                  Roel de Vrijer},
  title        = {Projections for infinitary rewriting (extended version)},
  journal      = {Theor. Comput. Sci.},
  volume       = {781},
  pages        = {92--110},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2019.02.017},
  doi          = {10.1016/J.TCS.2019.02.017},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/LombardiRV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BonelliKLR17,
  author       = {Eduardo Bonelli and
                  Delia Kesner and
                  Carlos Lombardi and
                  Alejandro R{\'{\i}}os},
  title        = {On abstract normalisation beyond neededness},
  journal      = {Theor. Comput. Sci.},
  volume       = {672},
  pages        = {36--63},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2017.01.025},
  doi          = {10.1016/J.TCS.2017.01.025},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BonelliKLR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LombardiRV17,
  author       = {Carlos Lombardi and
                  Alejandro R{\'{\i}}os and
                  Roel de Vrijer},
  editor       = {Vivek Nigam and
                  M{\'{a}}rio Florido},
  title        = {Projections for Infinitary Rewriting},
  booktitle    = {11th Workshop on Logical and Semantic Frameworks with Applications,
                  {LSFA} 2016, Porto, Portugal, January 1, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {332},
  pages        = {131--148},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.entcs.2017.04.009},
  doi          = {10.1016/J.ENTCS.2017.04.009},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/LombardiRV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/LombardiRV16,
  author       = {Carlos Lombardi and
                  Alejandro R{\'{\i}}os and
                  Roel de Vrijer},
  title        = {Projections for infinitary rewriting},
  journal      = {CoRR},
  volume       = {abs/1605.07808},
  year         = {2016},
  url          = {http://arxiv.org/abs/1605.07808},
  eprinttype    = {arXiv},
  eprint       = {1605.07808},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LombardiRV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/AccattoliBKL14,
  author       = {Beniamino Accattoli and
                  Eduardo Bonelli and
                  Delia Kesner and
                  Carlos Lombardi},
  editor       = {Suresh Jagannathan and
                  Peter Sewell},
  title        = {A nonstandard standardization theorem},
  booktitle    = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
                  Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
                  2014},
  pages        = {659--670},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2535838.2535886},
  doi          = {10.1145/2535838.2535886},
  timestamp    = {Thu, 24 Jun 2021 16:19:31 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/AccattoliBKL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/LombardiRV14,
  author       = {Carlos Lombardi and
                  Alejandro R{\'{\i}}os and
                  Roel de Vrijer},
  editor       = {Gilles Dowek},
  title        = {Proof Terms for Infinitary Rewriting},
  booktitle    = {Rewriting and Typed Lambda Calculi - Joint International Conference,
                  {RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
                  2014, Vienna, Austria, July 14-17, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8560},
  pages        = {303--318},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-08918-8\_21},
  doi          = {10.1007/978-3-319-08918-8\_21},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/LombardiRV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/LombardiRV14,
  author       = {Carlos Lombardi and
                  Alejandro R{\'{\i}}os and
                  Roel de Vrijer},
  title        = {Proof terms for infinitary rewriting, progress report},
  journal      = {CoRR},
  volume       = {abs/1402.2245},
  year         = {2014},
  url          = {http://arxiv.org/abs/1402.2245},
  eprinttype    = {arXiv},
  eprint       = {1402.2245},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LombardiRV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/BonelliKLR14,
  author       = {Eduardo Bonelli and
                  Delia Kesner and
                  Carlos Lombardi and
                  Alejandro R{\'{\i}}os},
  title        = {An abstract normalisation result with applications to non-sequential
                  calculi},
  journal      = {CoRR},
  volume       = {abs/1412.2118},
  year         = {2014},
  url          = {http://arxiv.org/abs/1412.2118},
  eprinttype    = {arXiv},
  eprint       = {1412.2118},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BonelliKLR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/BonelliKLR12,
  author       = {Eduardo Bonelli and
                  Delia Kesner and
                  Carlos Lombardi and
                  Alejandro R{\'{\i}}os},
  editor       = {Ashish Tiwari},
  title        = {Normalisation for Dynamic Pattern Calculi},
  booktitle    = {23rd International Conference on Rewriting Techniques and Applications
                  (RTA'12) , {RTA} 2012, May 28 - June 2, 2012, Nagoya, Japan},
  series       = {LIPIcs},
  volume       = {15},
  pages        = {117--132},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2012},
  url          = {https://doi.org/10.4230/LIPIcs.RTA.2012.117},
  doi          = {10.4230/LIPICS.RTA.2012.117},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BonelliKLR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1102-3734,
  author       = {Delia Kesner and
                  Carlos Lombardi and
                  Alejandro R{\'{\i}}os},
  editor       = {Eduardo Bonelli},
  title        = {A standardisation proof for algebraic pattern calculi},
  booktitle    = {Proceedings 5th International Workshop on Higher-Order Rewriting,
                  {HOR} 2010, Edinburgh, UK, July 14, 2010},
  series       = {{EPTCS}},
  volume       = {49},
  pages        = {58--72},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.49.5},
  doi          = {10.4204/EPTCS.49.5},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1102-3734.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.