Applicative Bisimulations for Delimited-Control Operators.

Dariusz Biernacki, Sergue Lenglet

Browse the full FOSSACS paper archive.