Desde un punto de vista sencillo el cálculo lambda consiste en una gramática de términos y unas reglas de transformación entre los mismos, representando estas funciones.