A proof of type preservation for the pi-calculus (1998)

by Loc HenryGreard
Venue:in Coq. Research Report RR-3698, Inria