Marino Miculan, Ivan Scagnetto, Furio Honsell: Types for Proofs and Programs, International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4941, Springer 2008, ISBN 978-3-540-68084-0