En el cálculo lambda, las funciones están definidas por expresiones lambda, que dicen qué se hace con su argumento.