الرجوع
الصوت
المظهر
تسجيل الدخول
أنت تتصفح نسخة مؤرشفة من الموقع
اضغط للانتقال إلى الموقع الجديد بكامل المزايا
علامة (يتطلب تسجيل الدخول)
تم الحل (يتطلب تسجيل الدخول)
Question 150/156
What does β-reduction in λ calculus involve?
Replacing a function's bound variable with its argument.
Renaming functions to simplify expressions.
Converting a function into an application.
Adding new variables to a function.
Previous
Next