Typed Lambda Calculi and Applications: 10th Inteational Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings (Lecture Notes in .. Computer Science and General Issues)

Hardcover: 260 pages

Publisher: Springer (May 23, 2011)

Language: English

ISBN-10: 3642216900

代发服务

PDF电子书10元立即求助