1
Convierta expresiones λ en expresiones SK
El cálculo λ , o cálculo lambda, es un sistema lógico basado en funciones anónimas. Por ejemplo, esta es una expresión λ: λf.(λx.xx)(λx.f(xx)) Sin embargo, para los propósitos de este desafío, simplificaremos la notación: Cambie λa \(para que sea más fácil escribir):\f.(\x.xx)(\x.f(xx)) Los .encabezados in lambda son innecesarios, por lo …