Introduce the theoretical syntax and operational semantics of the Lambda Calculus. Define the concepts of alpha-conversion, beta-reduction, and eta-conversion. Explain how this formal system serves as the foundation for functional programming languages and computability theory.