Environmental Bisimulations for Higher-Order Languages.

Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii

Browse the full LICS paper archive.