Una introducción al cálculo λ

• ¿Cuál es su origen?
• ¿Qué es?
• ¿Cómo funciona?
• ¿Cómo lo podemos implementar?