Giulia Manara

According to our database, Giulia Manara authored at least 1 paper in 2024.

Collaborative distances:

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

2024

Confluence for Proof-Nets via Parallel Cut Elimination.

Giulio Guerrieri, Giulia Manara, Lorenzo Tortora de Falco, Lionel Vaux Auclair

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024