🏠 Inicio
Pruebas de rendimiento
📊 Todos los benchmarks 🦖 Dinosaurio v1 🦖 Dinosaurio v2 ✅ Aplicaciones To-Do List 🎨 Páginas libres creativas 🎯 FSACB - Showcase definitivo 🌍 Benchmark de traducción
Modelos
🏆 Top 10 modelos 🆓 Modelos gratuitos 📋 Todos los modelos ⚙️ Kilo Code
Recursos
💬 Biblioteca de prompts 📖 Glosario de IA 🔗 Enlaces útiles
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.