Effectful Normal Form Bisimulation.

Ugo Dal Lago, Francesco Gavazzo

Browse the full ESOP paper archive.