عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
9783642216909 (soft cover : alk. paper)
English Book
Typed lambda calculi and applications
10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. proceedings
[edited by]& Luke Ong
1st ed.
New York
Springer,
2011
p. cm.
