Jean-Christophe Filliâtre Christine Paulin-Mohring Benjamin Werner Types for Proofs and Programs, International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers 3839 2006 3-540-31428-8 TYPES Lecture Notes in Computer Science Springer db/conf/types/types2004.html