Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings
تاريخ النشر: 06/06/2013
الناشر: Springer
ترجمة، تحقيق: Masahito Hasegawa
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 264
مجلدات: 1
يحتوي على: صور/رسوم
ردمك: 9783642389450