Author: International Conference on Typed Lambda Calculi and Applications (5th 2001 Kraków, Poland)