Typed Lambda Calculi and Applications
Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings
Szerző:
Philippe De Groote, J. Roger Hindley
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
19 327
Ft
This book constitutes the refereed proceedings of the Third International Conference on Typed Lambda...