Behavioral Equivalence in the Polymorphic Pi-Calculus (1997)

by Benjamin C. Pierce , Davide Sangiorgi
Venue:JOURNAL OF THE ACM
Citations:54 - 6 self