Small bisimulations for reasoning about higher-order imperative programs.

Vasileios Koutavas, Mitchell Wand

Browse the full POPL paper archive.