Well, no. The lambda calculus isn't imperative.

In declarative programs you specify what the program is. In imperative programs you specify what the program should do. I don’t really see the overlap.