دانلود کتاب Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings
by Andreas Abel (auth.)
|
عنوان فارسی: تایپ لامبدا سنگ و برنامه های کاربردی: 6 کنفرانس بین المللی، TLCA 2003 والنسیا، اسپانیا، ژوئن 10-12، 2003 مقالات |