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