Stefano Berardi Ferruccio Damiani Ugo de'Liguoro Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers 5497 2009 http://dx.doi.org/10.1007/978-3-642-02444-3 978-3-642-02443-6 TYPES Lecture Notes in Computer Science Springer db/conf/types/types2008.html