Stefania Damato

Orcid: 0009-0001-7182-5304

According to our database1, Stefania Damato authored at least 2 papers in 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Formalising Inductive and Coinductive Containers.
Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

Distributive Laws of Monadic Containers.
Proceedings of the 11th Conference on Algebra and Coalgebra in Computer Science, 2025


  Loading...