Origen y fundamentos de la programación funcional: teoría de tipos y λ-cálculo