Items where Author / Artist / Editor is "Gheri, Lorenzo"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 5.

Article

Blanchette, Jasmin Christian, Gheri, Lorenzo, Popescu, Andrei and Traytel, Dmitriy (2019) Bindings as bounded natural functors. Proceedings of the ACM on Programming Languages, 3 (POPL). 22:1-22:34. (doi:10.1145/3290335)

Conference or Workshop Item

Androutsopoulos, Kelly, Aristodemou, Leonidas, Boender, Jaap, Bottone, Michele, Currie, Edward, El-Aroussi, Inas, Fields, Bob, Gheri, Lorenzo, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Heeney, Michael, Micheletti, Matteo, Loomes, Martin J., Margolis, Michael, Petridis, Miltos, Piermarteri, Andrea, Primiero, Giuseppe, Raimondi, Franco and Weldin, Nick (2018) MIRTO: an open-source robotic platform for education. In: 3rd European Conference on Software Engineering Education, 14-15 June 2018, Seeon, Germany. (doi:10.1145/3209087.3209106)

Gheri, Lorenzo and Popescu, Andrei (2017) A formalized general theory of syntax with bindings. In: 8th International Conference Interactive Theorem Proving (ITP), 26-29 Sept 2017, Brasília, Brazil. (doi:10.1007/978-3-319-66107-0_16)

Gheri, Lorenzo and Popescu, Andrei (2017) A formalized general theory of syntax with bindings. In: 8th International Conference Interactive Theorem Proving, 26-29 Sept 2017, Brasilia, Brazil. (doi:10.1007/978-3-319-66107-0_16)

Thesis

Gheri, Lorenzo (2019) A general theory of syntax with bindings. PhD thesis, Middlesex University.

This list was generated on Tue Nov 19 05:03:03 2019 GMT.