I.: pi-calculus in (co)inductive-type theory (2001)

by F Honsell, M Miculan, Scagnetto
Venue:Theor. Comput. Sci