- Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack, editors, Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers. Volume 2277 of Lecture Notes in Computer Science, Springer, 2002.