Teoría de Tipos y el Isomorfismo de Curry-Howard: La Profunda Armonía de Proposiciones = Tipos, Pruebas = Programas
Tags
2 páginas
Lambda-Calculus
El cálculo lambda (Lambda Calculus) y los orígenes de la programación funcional: De la teoría de Alonzo Church a Lisp y Haskell
