🏠 Ana Sayfa
Benchmarklar
📊 Tüm Benchmarklar 🦖 Dinozor v1 🦖 Dinozor v2 ✅ To-Do List Uygulamaları 🎨 Yaratıcı Serbest Sayfalar 🎯 FSACB - Nihai Gösteri 🌍 Çeviri Benchmarkı
Modeller
🏆 En İyi 10 Model 🆓 Ücretsiz Modeller 📋 Tüm Modeller ⚙️ Kilo Code
Kaynaklar
💬 Prompt Kütüphanesi 📖 YZ Sözlüğü 🔗 Faydalı Bağlantılar
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.