کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
436345 689993 2008 13 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
The heart of intersection type assignment: Normalisation proofs revisited
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
The heart of intersection type assignment: Normalisation proofs revisited
چکیده انگلیسی

This paper gives a new proof for the approximation theorem and the characterisation of normalisability using intersection types for a system with ‘w and a ≤-relation that is contra-variant over arrow types. The technique applied is to define reduction on derivations and to show a strong normalisation result for this reduction. From this result, the characterisation of strong normalisation and the approximation result will follow easily; the latter, in its turn, will lead to the characterisation of (head) normalisability.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 398, Issues 1–3, 28 May 2008, Pages 82-94