What is the significance of λ-calculus to the semantics of programming languages?

λ-calculus is a universal model. It can model all aspects of programming languages in a simple formalism.