Behavioral Equivalence in the Polymorphic Pi-calculus.

Benjamin C. Pierce, Davide Sangiorgi

Browse the full POPL paper archive.