Contextual Equivalence for State and Control via Nested Data.

Benedict Bunting, Andrzej S. Murawski

Browse the full LICS paper archive.