کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9657816 | 690045 | 2005 | 37 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Compositional characterisations of λ-terms using intersection types
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
The completeness parts of the characterisations are proved uniformly for all the properties, using a set-theoretical semantics of intersection types over suitable kinds of stable sets. This technique generalises Krivine's and Mitchell's methods for strong normalisation to other evaluation properties.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 340, Issue 3, 31 August 2005, Pages 459-495
Journal: Theoretical Computer Science - Volume 340, Issue 3, 31 August 2005, Pages 459-495
نویسندگان
M. Dezani-Ciancaglini, F. Honsell, Y. Motohama,