الرجوع
الصوت
المظهر
تسجيل الدخول
أنت تتصفح نسخة مؤرشفة من الموقع
اضغط للانتقال إلى الموقع الجديد بكامل المزايا
علامة (يتطلب تسجيل الدخول)
تم الحل (يتطلب تسجيل الدخول)
Question 5/156
How can you determine if a variable is free in the expression λx.λy.(x z) (w)?
Check if it is not declared within any lambda abstraction in its scope
Check if it appears on the right-hand side of a lambda
Check if it is declared within the innermost lambda abstraction
Check if it is included in any lambda abstraction
Previous
Next