Deciding Contextual Equivalence of ν-Calculus with Effectful Contexts.

Daniel Hirschkoff, Guilhem Jaber, Enguerrand Prebet

Browse the full FOSSACS paper archive.