Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings

Pawel Urzyczyn Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings 3461 2005 3-540-25593-1 TLCA Lecture Notes in Computer Science Springer db/conf/tlca/tlca2005.html