Name-Passing Calculi: From Fusions to Preorders and Types.

Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi

Browse the full LICS paper archive.