دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings
دانلود کتاب محاسبات و برنامه های کاربردی لامبدا: پنجمین کنفرانس بین المللی ، TLCA 2001 Kraków ، لهستان ، 2 تا 5 مه 2001 مجموعه مقالات
مشخصات کتاب
Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings
ویرایش: 1 نویسندگان: Olivier Danvy (auth.), Samson Abramsky (eds.) سری: Lecture Notes in Computer Science 2044 ISBN (شابک) : 9783540419600, 3540419608 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2001 تعداد صفحات: 441 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 53,000
کلمات کلیدی مربوط به کتاب محاسبات و برنامه های کاربردی لامبدا: پنجمین کنفرانس بین المللی ، TLCA 2001 Kraków ، لهستان ، 2 تا 5 مه 2001 مجموعه مقالات: منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ریاضی و مبانی
در صورت تبدیل فایل کتاب Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبات و برنامه های کاربردی لامبدا: پنجمین کنفرانس بین المللی ، TLCA 2001 Kraków ، لهستان ، 2 تا 5 مه 2001 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب محاسبات و برنامه های کاربردی لامبدا: پنجمین کنفرانس بین المللی ، TLCA 2001 Kraków ، لهستان ، 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.
فهرست مطالب
Many Happy Re urns....Pages 1-1
From Bounded Arithmetic to Memory Management: Use of Type Theory to Capture Complexity Classes and Space Behaviour....Pages 2-3
Definability of Total Objects in PCF and Related Calculi....Pages 4-5
Categorical Semantics of Control....Pages 6-7
Representations of First Order Function Types as Terminal Coalgebras....Pages 8-21
A Finitary Subsystem of the Polymorphic λ-Calculus....Pages 22-28
Sequentiality and the π-Calculus....Pages 29-45
Logical Properites of Name Restriction....Pages 46-60
Subtyping Recursive Games....Pages 61-75
Typing Lambda Terms in Elementary Logic with Linear Constraints....Pages 76-90
Ramied Recurrence with Dependent Types....Pages 91-105
Game Semantics for the Pure Lazy λ-Calculus....Pages 106-120
Reductions, intersection types, and explicit substitutions....Pages 121-135
The Stratified Foundations as a Theory Modulo....Pages 136-150
Normalization by Evaluation for the Computational Lambda-Calculus....Pages 151-165
Induction Is Not Derivable in Second Order Dependent Type Theory....Pages 166-181
Strong Normalization of Classical Natural Deduction with Disjunction....Pages 182-196
Partially Additive Categories and Fully Complete Models of Linear Logic....Pages 197-216
Distinguishing Data Structures and Functions: The Constructor Calculus and Functorial Types....Pages 217-239
The Finitely Generated Types of the λ-Calculus....Pages 240-252
Deciding Monadic Theories of Hyperalgebraic Trees....Pages 253-267
A Deconstruction of Non-deterministic Classical Cut Elimination....Pages 268-282
A Token Machine for Full Geometry of Interaction (Extended Abstract)....Pages 283-297
Second-Order Pre-logical Relations and Representation Independence....Pages 298-314
Characterizing Convergent Terms in Object Calculi via Intersection Types....Pages 315-328
Parigot’s Second Order λ μ -Calculus and Inductive Types....Pages 329-343
The Implicit Calculus of Constructions Extending Pure Type Systems with an Intersection Type Binder and Subtyping....Pages 344-359
Evolving Games and Essential Nets for Affine Polymorphism....Pages 360-375
Retracts in Simple Types....Pages 376-384
Parallel Implementation Models for the λ-Calculus Using the Geometry of Interaction (Extended Abstract)....Pages 385-399
The complexity of β-reduction in low orders....Pages 400-414
Strong Normalisation for a Gentzen-like Cut-Elimination Procedure....Pages 415-429
نظرات کاربران
کتاب های تصادفی
دانلود کتاب American sweepstakes: how one small state bucked the Church, the Feds, and the Mob to usher in the lottery age
دانلود کتاب Encyclopedia of Nanoscience and Nanotechnology Volume 5
دانلود کتاب The Code of the Warrior Exploring Warrior Values Past and Present Кодекс Воина исследование воинской чести прошлого и настоящего
دانلود کتاب Kurzes Lehrbuch der Physikalischen Chemie
