lambda-calculus

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…

Un primer vistazo al cálculo lambda

En la actualidad existe tan poca información en español sobre el cálculo lambda que he decidido escribir este post para compartir un poco acerca del tema de una forma que espero sea fácil de entender. El origen del cálculo lambda se da en la década de 1930 por Alonzo Church,…