Nivel 1
El cálculo lambda
El lenguaje universal de las funciones: términos, sustitución, α-conversión, β-reducción, formas normales y confluencia.
Adaptado de: Capítulo: Teoría de tipos y cálculo lambda.
Nivel 1
El lenguaje universal de las funciones: términos, sustitución, α-conversión, β-reducción, formas normales y confluencia.
Adaptado de: Capítulo: Teoría de tipos y cálculo lambda.