کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
438661 690306 2007 17 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A fibrational framework for possible-world semantics of Algol-like languages
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
A fibrational framework for possible-world semantics of Algol-like languages
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 375, Issues 1–3, 1 May 2007, Pages 3-19
نویسندگان
, ,