Aguirre Galindo, Alejandro (2020). Relational logics for higher-order effectful programs. Thesis (Doctoral), E.T.S. de Ingenieros Informáticos (UPM). https://doi.org/10.20868/UPM.thesis.66350.