Typed Lambda Calculi and Applications: 9th

Typed Lambda Calculi and Applications: 9th Inteational Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings (Lecture Notes in .. Computer Science and General Issues)

Hardcover: 417 pages

Publisher: Springer (June 8, 2009)

Language: English

ISBN-10: 3642022723

电子书代发PDF格式价格10元我要求助
未经允许不得转载:Wow! eBook » Typed Lambda Calculi and Applications: 9th