Cálculo lambda para todos (Lambda Calculus for everyone)

El cálculo lambda es un tema muy interesante en ciencias de la computación. Es la base de los lenguajes funcionales, algo así como un lenguaje ensamblador para la programación funcional. En realidad es un tema muy sencillo, ni siquiera hace falta tener una computadora, ya que esto se hace en papel, pero eso no quita que sea fascinante y, una vez que lo entiendas, te volará la cabeza. (Lambda calculus is a very interesting topic in computer science. It is the foundation of functional languages, something like an assembly language for functional programming. It is actually a very simple topic, you don't even need to have a computer, since this is done on paper, but that doesn't take away from the fact that it is fascinating and, once you understand it, mind-blowing)