Behavioral Equivalence in the Polymorphic Pi-Calculus (1997)

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

Document Versions

Behavioral Equivalence in the Polymorphic Pi-Calculus –Benjamin C. Pierce, Davide Sangiorgi — 1997 — JOURNAL OF THE ACM
Behavioral Equivalence in the Polymorphic Pi-Calculus –Benjamin C. Pierce, Davide Sangiorgi — 1999 — Journal of the ACM
Behavioral Equivalence in the Polymorphic Pi-Calculus –Benjamin C. Pierce, Benjamin C. Pierce, Davide Sangiorgi, Davide Sangiorgi, Projet Meije — 1997
Behavioral Equivalence in the Polymorphic Pi-Calculus –Benjamin C. Pierce, Davide Sangiorgi — 1996 — Journal of the ACM
Behavioral equivalence in the polymorphic pi-calculus –Benjamin C. Pierce, Davide Sangiorgi — 2000 — Journal of the ACM