Provide a theoretical introduction to the Lambda Calculus. Explain the syntax of variables, abstraction, and application, and detail the operations of alpha conversion and beta reduction in evaluating expressions.