Behavioral Equivalence in the Polymorphic Pi-Calculus (1997)

by Benjamin C. Pierce, Davide Sangiorgi
Venue:JOURNAL OF THE ACM