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