Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence.

Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos

Browse the full LICS paper archive.