"Behavioural Equivalence via Modalities for Algebraic Effects."

Alex Simpson, Niels F. W. Voorneveld (2018)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics