urn:nbn:it:unibo-24967
Gavazzo, Francesco (2019) Coinductive Equivalences and Metrics for Higher-order Languages with Algebraic Effects, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering