دانلود کتاب Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA ’95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings (به فارسی: محاسبات و کاربردهای تایپ شده لامبدا: دومین کنفرانس بین المللی محاسبات و کاربردهای تایپ شده لامبدا، TLCA ’95 ادینبورگ، بریتانیا، 10–12 آوریل، 1995 مجموعه مقالات) نوشته شده توسط «Andrea Asperti – Cosimo Laneve (auth.) – Mariangiola Dezani-Ciancaglini – Gordon Plotkin (eds.)»
اطلاعات کتاب محاسبات و کاربردهای تایپ شده لامبدا: دومین کنفرانس بین المللی محاسبات و کاربردهای تایپ شده لامبدا، TLCA ’95 ادینبورگ، بریتانیا، 10–12 آوریل، 1995 مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Andrea Asperti – Cosimo Laneve (auth.) – Mariangiola Dezani-Ciancaglini – Gordon Plotkin (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1995
تعداد صفحه: 452
حجم کتاب: 4 مگابایت
کد کتاب: 354059048X , 9783540590484
نوبت چاپ: 1
توضیحات کتاب محاسبات و کاربردهای تایپ شده لامبدا: دومین کنفرانس بین المللی محاسبات و کاربردهای تایپ شده لامبدا، TLCA ’95 ادینبورگ، بریتانیا، 10–12 آوریل، 1995 مجموعه مقالات
این جلد مجموعه مقالات دومین کنفرانس بین المللی در مورد محاسبات و کاربردهای تایپ شده لامبدا را ارائه می دهد که در ادینبورگ، انگلستان در آوریل 1995 برگزار شد.
کتاب شامل 29 مقاله اصلاح شده کامل است که از بین 58 مورد ارسالی انتخاب شده است و به طور جامع وضعیت را گزارش می کند. هنر در این زمینه به موضوعات زیر پرداخته می شود: تئوری اثبات سیستم های نوع، سیستم های منطقی و نوع، محاسبات لامبدا تایپ شده به عنوان مدل های محاسبات (در مرتبه بالاتر)، معناشناسی سیستم های نوع، تأیید اثبات از طریق سیستم های نوع، سیستم های نوع زبان های برنامه نویسی، و اصطلاح تایپ شده سیستم های بازنویسی.
This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995.
The book contains 29 full revised papers selected from 58 submissions and comprehensively reports the state of the art in the field. The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higher-order) computation, semantics of type systems, proof verification via type systems, type systems of programming languages, and typed term rewriting systems.
📖 خرید این کتاب
برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمههای زیر کلیک کنید تا پیام آماده برای شما ارسال شود:
پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.