Describe the theoretical foundations of Lambda Calculus, including the concepts of alpha conversion, beta reduction, and eta conversion. Explain how these simple rules form a universal model of computation and how they relate to modern functional programming languages.