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: 4.

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

Androutsopoulos, Kelly, Aristodemou, Leonidas, Boender, Jaap, Bottone, Michele, Currie, Edward, El-Aroussi, Inas, Fields, Bob, Gheri, Lorenzo, Gorogiannis, Nikos, 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:https://doi.org/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:https://doi.org/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:https://doi.org/10.1007/978-3-319-66107-0_16)

This list was generated on Fri Sep 20 04:40:19 2019 BST.