Định nghĩa Lambda Calculus và các khái niệm cốt lõi của nó như biến ràng buộc, biến tự do, và khái niệm beta-reduction. Hãy cung cấp các ví dụ minh họa cách chuyển đổi một biểu thức lambda đơn giản về dạng chuẩn và thảo luận về tầm quan trọng của hệ thống này đối với các ngôn ngữ lập trình hàm hiện đại như Haskell.