Fully Abstract Normal Form Bisimulation for Call-by-Value PCF.

Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos

Browse the full LICS paper archive.