Por ejemplo, en una definición típica en el cálculo lambda de la forma f = λ"x".E la variable "x" así como la expresión E denotan valores.