کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9655949 | 685417 | 2005 | 40 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Differential Interaction Nets
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
We introduce interaction nets for the differential lambda-calculus and exhibit in this framework a new symmetry between the of course and the why not modalities of linear logic, completely similar to the symmetry between the tensor and par connectives of linear logic.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 123, 1 March 2005, Pages 35-74
Journal: Electronic Notes in Theoretical Computer Science - Volume 123, 1 March 2005, Pages 35-74
نویسندگان
Thomas Ehrhard, Laurent Regnier,