الرجوع
تسجيل الدخول
أنت تتصفح نسخة مؤرشفة من الموقع اضغط للانتقال إلى الموقع الجديد بكامل المزايا
Why might normal order evaluation in λ calculus be considered more powerful than applicative order?
Previous Next