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 Types for Proofs and Programs, International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers 4941 2008 978-3-540-68084-0 TYPES Lecture Notes in Computer Science Springer db/conf/types/types2007.html