Types for Proofs and Programs : International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers - Marino Miculan, Ivan Scagnetto, Furio Honsell ((Lecture Notes in Computer Science))