lambda-terms

Términos del cálculo lambda (type free)

En este post veremos con más detalle la definición y reglas de los términos en el cálculo lambda. El conjunto de expresiones lambda está definido de la siguiente forma: Todas las variables son términos lambda (x, y, z...). También son llamadas átomos o término atómico. Si M y N son…