الرجوع
الصوت
المظهر
تسجيل الدخول
أنت تتصفح نسخة مؤرشفة من الموقع
اضغط للانتقال إلى الموقع الجديد بكامل المزايا
علامة (يتطلب تسجيل الدخول)
تم الحل (يتطلب تسجيل الدخول)
Question 34/40
How would you correct an expression with a name clash in lambda calculus?
By removing the conflicting variables
By renaming the bound variables to unique names
By leaving the expression as is
By converting all free variables to bound variables
Previous
Next