Typed Lambda Calculi and Applications
Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings
Autor:
Philippe De Groote, J. Roger Hindley
Dostupnosť:
Skladom u dodávateľa
Odosielame za 5-8 dní
50.19
€
This book constitutes the refereed proceedings of the Third International Conference on Typed Lambda...