دانلود کتاب Programming in Martin-Löf's Type Theory: An Introduction

توضیحاتی در مورد کتاب Programming in Martin-Löf's Type Theory: An Introduction

نام کتاب : Programming in Martin-Löf's Type Theory: An Introduction
عنوان ترجمه شده به فارسی : برنامه نویسی در نظریه نوع مارتین-لوف: مقدمه
سری : International Series of Monographs on Computer Science
نویسندگان : Bengt Nordstrom, Kent Petersson, Jan M. Smith
ناشر : Oxford University Press, USA
سال نشر : 1990
تعداد صفحات : 211
ISBN (شابک) : 0198538146 , 9780198538141
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 693 کیلوبایت