A Fresh Calculus for Name Management.

Davide Ancona, Eugenio Moggi

Browse the full GPCE paper archive.