El cálculo lambda, desarrollado por Alonzo Church y Stephen Cole Kleene en la década de 1930, es considerado uno de los primeros lenguajes de programación del mundo, incluso pese a que tenía intención de "modelar" la computación más que ser un medio para que los programadores "describan" algoritmos para un sistema informático.