Typed Lambda Calculi and Applications: 11th Inteational Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings (Lecture .. Computer Science and General Issues)

Hardcover: 264 pages

Publisher: Springer (May 20, 2013)

Language: English

ISBN-10: 3642389457

代发服务

PDF电子书10元立即求助