کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10334088 690171 2011 13 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Strong normalization from an unusual point of view
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Strong normalization from an unusual point of view
چکیده انگلیسی
A new complete characterization of β-strong normalization is given, both in the classical and in the lazy λ-calculus, through the notion of potential valuability inside two suitable parametric calculi.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 412, Issue 20, 29 April 2011, Pages 1903-1915
نویسندگان
, , ,