Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011, Proceedings
Format: paperback
ISBN:
9783642216909 (3642216900)
Publish date: May 23rd 2011
Publisher: Springer
Pages no: 244
Edition language: English