Items where authors include "Gheri, L."

Export as [feed] Atom [feed] RSS
Number of items: 3.

Article

Gheri, L. and Popescu, A. orcid.org/0000-0001-8747-0619 (2020) A formalized general theory of syntax with bindings: extended version. Journal of Automated Reasoning, 64 (4). pp. 641-675. ISSN 0168-7433

Blanchette, J.C., Gheri, L., Popescu, A. orcid.org/0000-0001-8747-0619 et al. (1 more author) (2019) Bindings as bounded natural functors. Proceedings of the ACM on Programming Languages, 3 (POPL). 22. ISSN 2475-1421

Proceedings Paper

Gheri, L. and Popescu, A. orcid.org/0000-0001-8747-0619 (2017) A formalized general theory of syntax with bindings. In: Ayala-Rincón, M. and Muñoz, C.A., (eds.) Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings. 8th International Conference, ITP 2017, 26-29 Sep 2017, Brasília, Brazil. Lecture Notes in Computer Science, 10499 . Springer International Publishing , pp. 241-261. ISBN 9783319661063

This list was generated on Sat Mar 23 18:12:48 2024 GMT.