Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings
Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings
Barcode: 09783540454137
Brand: Springer Berlin Heidelberg
Our site contains affiliate links, and we may earn a commission for purchases made through these links at no extra cost to you.This helps support our work in bringing you the best price comparisons.