کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10118898 1633562 2005 17 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Some results on extensionality in lambda calculus
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش صفحه اول مقاله
Some results on extensionality in lambda calculus
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 132, Issues 2–3, March 2005, Pages 109-125
نویسندگان
, ,