Towards nominal computation.

Mikolaj Bojanczyk, Laurent Braud, Bartek Klin, Slawomir Lasota

Browse the full POPL paper archive.