Open menu
Furio Honsell,Marino Miculan,Ivan Scagnetto
Types for Proofs and Programs