کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10118884 1633561 2005 33 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Continuous normalization for the lambda-calculus and Gödel's T
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش صفحه اول مقاله
Continuous normalization for the lambda-calculus and Gödel's T
چکیده انگلیسی
Finally, the methods are extended to an infinitary λ-calculus with ω-rule and permutative conversions and this is used to derive a strong form of normalization for an iterative version of Gödel's system T, leading to a value table semantics for number-theoretic functions.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 133, Issues 1–3, May 2005, Pages 39-71
نویسندگان
, ,