Types for Proofs and Programs International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers - Callaghan, Paul; Callaghan, Paul; Luo, Zhaohui; Luo, Zhaohui; McKinna, James; McKinna, James; Pollack, Robert; Pollack, Robert (Springer Berlin Heidelberg : Imprint: Springer, 2002)