Behavioral equivalence in the polymorphic pi-calculus (2000)

by Benjamin Pierce, Davide Sangiorgi
Venue:Journal of the ACM