کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10118884 | 1633561 | 2005 | 33 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Continuous normalization for the lambda-calculus and Gödel's T
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
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
Journal: Annals of Pure and Applied Logic - Volume 133, Issues 1â3, May 2005, Pages 39-71
نویسندگان
Klaus Aehlig, Felix Joachimski,