Indiana University Bloomington

School of Informatics and Computing

Technical Report TR468:
Behavioral Equivalence in the Polymorphic Pi-Calculus

Benjamin C. Pierce, Indiana University and Davide Sangiorgi, INRIA-Sophia Antipolis
(Oct 1996), 28 pages
Abstract:
The abstact is not available. Please see the full paper.

Available as: