دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
دانلود کتاب Lambda Calculi و برنامه های کاربردی: دهمین کنفرانس بین المللی ، TLCA 2011 ، نووی ساد ، صربستان ، 1 تا 3 ژوئن 2011. مجموعه مقالات
مشخصات کتاب
Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
ویرایش: 1 نویسندگان: Alexandre Miquel (auth.), Luke Ong (eds.) سری: Lecture Notes in Computer Science 6690 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642216916, 3642216919 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 255 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 33,000
کلمات کلیدی مربوط به کتاب Lambda Calculi و برنامه های کاربردی: دهمین کنفرانس بین المللی ، TLCA 2011 ، نووی ساد ، صربستان ، 1 تا 3 ژوئن 2011. مجموعه مقالات: منطق ریاضی و زبان های رسمی، ریاضیات محاسبات، منطق و معانی برنامه ها، دستکاری نمادین و جبری، روش های محاسباتی، منطق ریاضی و مبانی
در صورت تبدیل فایل کتاب Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب Lambda Calculi و برنامه های کاربردی: دهمین کنفرانس بین المللی ، TLCA 2011 ، نووی ساد ، صربستان ، 1 تا 3 ژوئن 2011. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب Lambda Calculi و برنامه های کاربردی: دهمین کنفرانس بین المللی ، TLCA 2011 ، نووی ساد ، صربستان ، 1 تا 3 ژوئن 2011. مجموعه مقالات
این کتاب مجموعه مقالات داوری دهمین کنفرانس بین‌المللی محاسبات و کاربردهای تایپ شده لامبدا، TLCA 2011، در نووی ساد، صربستان، در ژوئن 2011 به عنوان بخشی از RDP 2011، ششمین کنفرانس فدرال در بازنویسی، کسر، و برنامه نويسي. 15 مقاله کامل اصلاح شده ارائه شده با دقت بررسی و از بین 44 مقاله ارسالی انتخاب شدند. این مقالات نتایج تحقیقاتی غالب را در مورد تمام جنبه‌های فعلی محاسبات لامبدای تایپ‌شده، از مسائل نظری و روش‌شناختی گرفته تا کاربردها در زمینه‌های مختلف ارائه می‌کنند که به موضوعات مختلفی مانند نظریه اثبات، معناشناسی، اجرا، انواع و برنامه‌نویسی می‌پردازد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deduction, and Programming. The 15 revised full papers presented were carefully reviewed and selected from 44 submissions. The papers provide prevailing research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts addressing a wide variety of topics such as proof-theory, semantics, implementation, types, and programming.
فهرست مطالب
Front Matter....Pages -
A Survey of Classical Realizability....Pages 1-2
Tree Automata, (Dis-)Equality Constraints and Term Rewriting....Pages 3-5
Rewriting in Practice....Pages 6-8
Combining Proofs and Programs....Pages 9-9
Higher-Order Dynamic Pattern Unification for Dependent Types and Records....Pages 10-26
Classical Call-by-Need and Duality....Pages 27-44
Homotopy-Theoretic Models of Type Theory....Pages 45-60
Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ -Calculus....Pages 61-75
Orthogonality and Boolean Algebras for Deduction Modulo....Pages 76-90
The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories....Pages 91-106
Realizability Proof for Normalization of Full Differential Linear Logic....Pages 107-122
Controlling Program Extraction in Light Logics....Pages 123-137
An Elementary Affine λ -Calculus with Multithreading and Side Effects....Pages 138-152
Böhm’s Theorem for Resource Lambda Calculus through Taylor Expansion....Pages 153-168
Finite Combinatory Logic with Intersection Types....Pages 169-183
Linear Lambda Calculus and Deep Inference....Pages 184-197
Partiality, State and Dependent Types....Pages 198-212
A Filter Model for the λμ -Calculus....Pages 213-228
Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming....Pages 229-244
Back Matter....Pages -
