Model-Checking Games for Typed λ-Calculi

کد مقاله	کد نشریه	سال انتشار	مقاله انگلیسی	نسخه تمام متن
424402	685431	2007	21 صفحه PDF	دانلود رایگان

عنوان انگلیسی مقاله ISI

رایگان برای ایرانیان

موضوعات مرتبط

مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات

پیش نمایش صفحه اول مقاله

چکیده انگلیسی

We consider the transfer of verification techniques to structures with binding.

ناشر

Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 172, 1 April 2007, Pages 589-609