
Typed Lambda Calculi and Applications
6th International Conference, Tlca 2003, Valencia, Spain, June 10-12, 2003, Proceedings
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2006
نویسنده
Martin Hofmannناشر
Springerشابک
9783540449041
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران