Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers - Miculan, Marino; Scagnetto, Ivan; Honsell, Furio (Springer Berlin Heidelberg, 2008)