الرجوع
الصوت
المظهر
تسجيل الدخول
أنت تتصفح نسخة مؤرشفة من الموقع
اضغط للانتقال إلى الموقع الجديد بكامل المزايا
علامة (يتطلب تسجيل الدخول)
تم الحل (يتطلب تسجيل الدخول)
Question 7/40
How can conditional expressions be represented in lambda calculus?
def cond = λe1.λe2.λc.((c e1) e2)
def cond = λe1.λe2.λc.((c e2) e1)
def cond = λe1.λe2.λc.((e1 c) e2)
def cond = λe1.λe2.λc.((e2 c) e1)
Previous
Next