En el cálculo lambda, todas las expresiones representan funciones anónimas de un sólo argumento.