Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings: 5th International Conference, ... Po (Lecture Notes in Computer Science)
Format: kindle
ASIN: B000VO3FEI
Publish date: May 18th 2001
Publisher: Springer
Pages no: 436
Edition language: English