Preguntas etiquetadas con logic

8
Evaluación del cálculo lambda

Sé que esta es una pregunta simple, pero ¿alguien puede mostrarme cómo ( λ y. λ x . λ y. y) ( λ x . λ y. y)(λy.λX.λy.y)(λX.λy.y)(\lambda y. \lambda x. \lambda y.y) (\lambda x. \lambda y. y) reduce a λ x . λ y. yλX.λy.y\lambda x. \lambda y.