Según este punto de vista, los lenguajes basados en el cálculo lambda (tales como Lisp, ISWIM, y Scheme) son lenguajes a nivel de valores, si bien su diseño no los restringe a ello.