Step-Indexed Relational Reasoning for Countable Nondeterminism.

Jan Schwinghammer, Lars Birkedal

Browse the full CSL paper archive.