🏠 Trang chủ
Benchmark
📊 Tất cả benchmark 🦖 Khủng long v1 🦖 Khủng long v2 ✅ Ứng dụng To-Do List 🎨 Trang tự do sáng tạo 🎯 FSACB - Trình diễn cuối cùng 🌍 Benchmark dịch thuật
Mô hình
🏆 Top 10 mô hình 🆓 Mô hình miễn phí 📋 Tất cả mô hình ⚙️ Kilo Code
Tài nguyên
💬 Thư viện prompt 📖 Thuật ngữ AI 🔗 Liên kết hữu ích
Intermediate

Lambda Calculus Beta Reduction

#functional-programming #reduction #logic

Perform step-by-step evaluation of a complex lambda expression.

Given the lambda expression (λx. λy. x y) (λz. z) (λw. w w), perform a step-by-step beta reduction until the expression reaches its normal form. Explicitly state which bound variable is being substituted at each step.