Typed Lambda Calculi and Applications: 8th

Typed Lambda Calculi and Applications: 8th Inteational Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in .. Computer Science and General Issues)

Hardcover: 397 pages

Publisher: Springer (June 15, 2007)

Language: English

ISBN-10: 3540732276