Operaciones

Ahora que ya sabemos leer las expresiones de cálculo lambda podemos pasar a definir funciones.

Dada la estructura es recursiva de los términos va ser conveniente definir operaciones por casos:

• ¿Qué hacer cuando la expresión es un identificador?
• ¿Qué hacer cuando la expresión es una aplicación?
• ¿Qué hacer cuando la expresión es una abstracción?