
Typed Lambda Calculi and Applications
Second International Conference on Typed Lambda Calculi and Applications, Tlca '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
1995
نویسنده
Mariangiola Dezani-Ciancagliniنویسنده
Mariangiola Dezani-Ciancagliniناشر
Springerناشر
Springerشابک
9783540590484
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران