Graded Monads and Behavioural Equivalence Games.

Chase Ford, Stefan Milius, Lutz Schrder, Harsh Beohar, Barbara Knig

Browse the full LICS paper archive.