Typed Lambda Calculi and Applications 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings - Abramsky, Samson; Abramsky, Samson (Springer Berlin Heidelberg : Imprint: Springer, 2001)