calculus in (co)inductive type theory. Technical report, Dipartimento di Matematica e Informatica, Universita degli Studi di Udine (1998)

by F Honsell, M Miculan, I Scagnetto