دانلود کتاب Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings (به فارسی: محاسبات و کاربردهای تایپ شده لامبدا: پنجمین کنفرانس بین المللی، TLCA 2001 کراکوف، لهستان، 2 تا 5 مه، 2001 مجموعه مقالات) نوشته شده توسط «Olivier Danvy (auth.) – Samson Abramsky (eds.)»
اطلاعات کتاب محاسبات و کاربردهای تایپ شده لامبدا: پنجمین کنفرانس بین المللی، TLCA 2001 کراکوف، لهستان، 2 تا 5 مه، 2001 مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Olivier Danvy (auth.) – Samson Abramsky (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2001
تعداد صفحه: 436
حجم کتاب: 4 مگابایت
کد کتاب: 3540419608 , 9783540419600
نوبت چاپ: 1
توضیحات کتاب محاسبات و کاربردهای تایپ شده لامبدا: پنجمین کنفرانس بین المللی، TLCA 2001 کراکوف، لهستان، 2 تا 5 مه، 2001 مجموعه مقالات
این کتاب مجموعه مقالات داوری پنجمین کنفرانس بین المللی در مورد محاسبات و کاربردهای تایپ شده لامبدا، TLCA 2001، که در کراکوف، لهستان در می 2001 برگزار شد، تشکیل می شود. این جلد نتایج تحقیقات را در مورد تمام جنبه های فعلی محاسبات لامبدا تایپ شده گزارش می کند. از جمله موضوعاتی که به آن پرداخته می‌شود، سیستم‌های نوع، زیرگروه‌ها، روش‌های جبری زغال‌سنگ، حساب پی، بازی‌های بازگشتی، انواع مختلف محاسبات لامبدا، کاهش‌ها، جایگزین‌ها، عادی‌سازی، منطق خطی، حذف برش، روابط پیش‌منطقی، و حساب مو هستند.
This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers presented were carefully reviewed and selected from 55 submissions. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, linear logic, cut-elimination, prelogical relations, and mu calculus.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.