کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
430241 | 687934 | 2014 | 11 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
On polymorphic types of untyped terms
ترجمه فارسی عنوان
در انواع پلیمورفیک از شرایط نامتقارن
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
محاسبات لامبدا محاسبات لامبدا با جفت گیری جبری، نوعی پلیمورفیک، قضیه بوهم
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
• We assign polymorphic types to normal untyped lambda terms.
• As a consequence we obtain various extensions of Böhm's theorem.
• A better description can be found in the abstract.
Let S be a finite set of β normal closed terms and M and N a pair of β normal, η distinct, closed terms. Then there exist polymorphic types a,ba,b such that every member of S can be typed as a, and M and N have η expansions which can be typed as b; where, in the resulting typings, the members of S can be simultaneously consistently identified, and the η expansions of M and N are βη inconsistent (no model with more than one element of any type). A similar result holds in the presence of surjective pairing.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Computer and System Sciences - Volume 80, Issue 6, September 2014, Pages 1163–1173
Journal: Journal of Computer and System Sciences - Volume 80, Issue 6, September 2014, Pages 1163–1173
نویسندگان
Rick Statman,