Las bases matemáticas de la programación funcional