Scagnetto, I.: π-Calculus in (co)inductive type theory. Technical report, Dipartimento di Matematica e Informatica, Università degli Studi di Udine (1998)

by F Honsell, M Miculan, I Scagnetto