مشخصات کتاب

Lambda Calculus with Types (Perspectives in Logic)

ویرایش: Illustrated 
نویسندگان: Henk Barendregt,  Wil Dekkers,  Richard Statman  
سری:  
ISBN (شابک) : 0521766141, 9780521766142 
ناشر: Cambridge University Press 
سال نشر: 2013 
تعداد صفحات: 856 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

در صورت تبدیل فایل کتاب Lambda Calculus with Types (Perspectives in Logic) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب حساب لامبدا با انواع (چشم انداز در منطق) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی درمورد کتاب به خارجی

فهرست مطالب

Front Cover
Abstract
Perspective in Logic (series)
Lambda Calculus with Types
Copyright
Contents
Preface
Contributors
Our Founders
Introduction
Part I. SIMPLE TYPES
	1 The Simply Typed Lambda Calculus
	2 Properties
	3 Tools
	4 Definability, unification and matching
	5 Extensions
	6 Applications
PArt II. RECURSIVE TYPES
	7 The Systems
	8 Properties of Recursive Types
	9 Properties of Terms with Types
	10 Models
	11 Applications
Part III. INTERSECTION TYPES
	12 An Example System
	13 Type Assignment Systems
	14 Basic Properties of Intersection Type Assignment
	15 Type and Lambda Structures
	16 Filter Models
	17 Advanced Properties and Applications
References
Index of terms
Index of Citations
Index of symbols

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Advances in Grid Computing - EGC 2005: European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers

دانلود کتاب Hybrid, Electric and Fuel-Cell Vehicles

دانلود کتاب Beyond Man: Race, Coloniality, and Philosophy of Religion

دانلود کتاب Understanding Thomas Jefferson

دانلود کتاب Nowhere Near Normal: A Memoir of OCD