@phdthesis{diaa, title = "Distributive Interaction of Algebraic Effects", author = "Kwok-Ho Cheung", year = "2017", url = "https://ora.ox.ac.uk/objects/uuid:66106628-0a71-4564-bc34-c398db766818", }