Domenico Ruoppolo

According to our database, Domenico Ruoppolo authored at least 4 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Relational Graph Models at Work.

Flavien Breuvart, Giulio Manzonetto, Domenico Ruoppolo

Log. Methods Comput. Sci., 2018

2016

Modèles de Graphe Relationnels et Observabilité à la Morris: recherches sémantiques sensibles aux ressources sur le λ-calcul non typé. (Relational graph models and Morris's observability: resource-sensitive semantic investigations on the untyped λ-calculus).

Domenico Ruoppolo

PhD thesis, 2016

New Results on Morris's Observational Theory: The Benefits of Separating the Inseparable.

Flavien Breuvart, Giulio Manzonetto, Andrew Polonsky, Domenico Ruoppolo

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

2014

Relational Graph Models, Taylor Expansion and Extensionality.

Giulio Manzonetto, Domenico Ruoppolo

Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014