کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9655875 | 685397 | 2005 | 16 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Sequence Types for the Ï-calculus
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Sequence Types for the Ï-calculus Sequence Types for the Ï-calculus](/preview/png/9655875.png)
چکیده انگلیسی
We introduce channel sequence types to study finitary polymorphism in the context of mobile processes modelled in the Ï-calculus. We associate to each channel a set of exchange types, and we require that output processes send values of one of those types, and input processes accept values of any type in the set. Our type assignment system enjoys subject reduction and guarantees the absence of communication errors. We give several examples of polymorphism, and we encode the λ-calculus with the strict intersection type discipline.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 136, 19 July 2005, Pages 117-132
Journal: Electronic Notes in Theoretical Computer Science - Volume 136, 19 July 2005, Pages 117-132
نویسندگان
Sergio Maffeis,