Metadata
Author: WikiMatrix
Data
English[en]
Since abstraction is the only way to manufacture functions in the lambda calculus, something must replace it in the combinatory calculus.
Spanish[es]
Puesto que la abstracción es la única manera de fabricar funciones en el cálculo lambda, algo debe sustituirlo en el cálculo combinatorio.