Typed lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings - Abramsky, Samson, 1953- (Lecture notes in computer science ;, 2001)