Lambda Calculus is a formal system in mathematical logic and computer science for expressing computation based on function abstraction and application. It serves as the foundation for functional programming languages and provides a framework for understanding variable binding and substitution.