Typed Lambda Calculi and Applications 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings - Hofmann, Martin; Hofmann, Martin (Springer Berlin Heidelberg : Imprint: Springer, 2003)