🏠 Home
Prestatietests
📊 Alle benchmarks 🦖 Dinosaur v1 🦖 Dinosaur v2 ✅ To-Do List applicaties 🎨 Creatieve vrije pagina's 🎯 FSACB - Ultieme showcase 🌍 Vertaalbenchmark
Modellen
🏆 Top 10 modellen 🆓 Gratis modellen 📋 Alle modellen ⚙️ Kilo Code
Bronnen
💬 Promptbibliotheek 📖 AI-woordenlijst 🔗 Nuttige links
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.