دانلود کتاب Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications TLCA '97 Nancy, France, April 2–4, 1997 Proceedings
by Yohji Akama (auth.)
|
عنوان فارسی: محاسبات و کاربردهای تایپ شده لامبدا: سومین کنفرانس بین المللی در مورد محاسبات و کاربردهای تایپ شده لامبدا TLCA '97 نانسی، فرانسه، 2 تا 4 آوریل 1997 مجموعه مقالات |