کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
434938 689840 2012 26 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
The Scott model of linear logic is the extensional collapse of its relational model
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
The Scott model of linear logic is the extensional collapse of its relational model
چکیده انگلیسی

We show that the extensional collapse of the relational model of linear logic is the model of prime-algebraic complete lattices, a natural extension to linear logic of the well known Scott semantics of the lambda-calculus.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 424, 23 March 2012, Pages 20-45