Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings - Samson Abramsky ((Lecture Notes in Computer Science))