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