کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9657781 | 690375 | 2005 | 30 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Syntax vs. semantics: A polarized approach
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
We present a notion of sliced proof-nets for the polarized fragment of Linear Logic and a corresponding game model. We show that the connection between them is very strong through an equivalence of categories (this contains soundness, full completeness and faithful completeness).
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 343, Issues 1â2, 10 October 2005, Pages 177-206
Journal: Theoretical Computer Science - Volume 343, Issues 1â2, 10 October 2005, Pages 177-206
نویسندگان
Olivier Laurent,