Giải thích các nguyên lý cơ bản của Lambda Calculus. Hãy nói về các khái niệm như abstraction (trừu tượng hóa), application (áp dụng) và variable (biến) trong hệ thống hình thức này. Giải thích cách nó đóng vai trò là nền tảng lý thuyết cho các ngôn ngữ lập trình hàm.