Typed Lambda Calculi and Applications 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, ProceedingsConference proceedings © 2003 Overview Editors: Martin Hofmann Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2701) Included in the following ...