Typed Lambda Calculi and Applications, 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings.

Martin Hofmann Typed Lambda Calculi and Applications, 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings. TLCA Lecture Notes in Computer Science 2701 Springer 2003 3-540-40332-9 db/conf/tlca/tlca2003.html