Effectful applicative bisimilarity: Monads, relators, and Howe's method.

Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy

Browse the full LICS paper archive.