کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9656871 | 686179 | 2005 | 32 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Types and full abstraction for polyadic Ï-calculus
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
A type system for terms of the monadic Ï-calculus is introduced and used to obtain a full-abstraction result for the translation of the polyadic Ï-calculus into the monadic calculus: well-sorted terms of the polyadic calculus are barbed congruent iff their translations are typed barbed congruent.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 200, Issue 2, 1 August 2005, Pages 215-246
Journal: Information and Computation - Volume 200, Issue 2, 1 August 2005, Pages 215-246
نویسندگان
Paola Quaglia, David Walker,