Reports
Year : 1996
Rapport De Recherche Inria : Connect in order to contact the contributor
https://inria.hal.science/inria-00073650
Submitted on : Wednesday, May 24, 2006-1:24:57 PM
Last modification on : Wednesday, March 15, 2023-8:58:09 AM
Long-term archiving on: Sunday, April 4, 2010-9:25:52 PM
Dates and versions
Identifiers
- HAL Id : inria-00073650 , version 1
Cite
Benjamin C. Pierce, Davide Sangiorgi. Behavioral Equivalence in the Polymorphic Pi-Calculus. RR-3042, INRIA. 1996. ⟨inria-00073650⟩
Collections
32
View
206
Download