Types for proofs and programs : International Workshop TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers - Callaghan, Paul, 1970- (Lecture notes in computer science ;, 2002)