Paul Callaghan Zhaohui Luo James McKinna Robert Pollack Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers TYPES Lecture Notes in Computer Science 2277 Springer 2002 3-540-43287-6 db/conf/types/types2000.html