Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings

Philippe de Groote Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings TLCA Lecture Notes in Computer Science 1210 Springer 1997 3-540-62688-3 db/conf/tlca/tlca97.html