-
on explicit substitution with names
جزئیات بیشتر مقاله- تاریخ ارائه: 1392/07/24
- تاریخ انتشار در تی پی بین: 1392/07/24
- تعداد بازدید: 617
- تعداد پرسش و پاسخ ها: 0
- شماره تماس دبیرخانه رویداد: -
this paper recounts the origins of the λx family of calculi of explicit substitution with proper variable names, including the original result of preservation of strong β-normalization based on the use of synthetic reductions for garbage collection. we then discuss the properties of a variant of the calculus which is also confluent for “open” terms (with meta-variables), and verify that a version with garbage collection preserves strong β-normalization (as is the state of the art), and we summarize the relationship with other efforts on using names and garbage collection rules in explicit substitution.
مقالات جدیدترین رویدادها
-
استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود
-
بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها
-
تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان)
-
شیوع بیماری های خودایمنی در بیماران مبتلا به مولتی پل اسکلروزیز و بستگان آنها
-
بررسی و تعیین علل عدم موفقیت طرح تغذیه مصنوعی فیروزسالار آذرشهر، آذربایجان شرقی
-
دستاوردها و برکاتِ کلامی-دین شناختی نظریۀ "حرکت جوهری" در حکمت متعالیه
-
fatty acid esters-based composite phase change materials for thermal energy storage in buildings
-
can race be effective against the covid-19 virus
مقالات جدیدترین ژورنال ها
-
مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول
-
مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران
-
واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی
-
بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان)
-
بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان)
-
تاریخچه نفت عربستان، از ملی سازی تا خصوصی سازی
-
بررسی موضوع بداء در اثبات واجب الوجود از منظر فقیه مشهور خراسانی آخوند ملا محمد حسن هردنگی
-
حسابداری علمی اسلامی
-
بررسی اثربخشی روان درمانی معنوی چندبُعدی بر تجربۀ سوگ و شدت سوگ در بازماندگان متوفیان ناشی از کووید 19
-
comparison of thermodynamic functions of idarubicin cancer drug interaction with carbon nanotube: qm/mm studies
سوال خود را در مورد این مقاله مطرح نمایید :