Behavioural Preorders via Graded Monads.

Chase Ford, Stefan Milius, Lutz Schrder

Browse the full LICS paper archive.