More specifically, a lambda abstraction is a lambda expression with no free variables: each its variables is bound by some lambda. E.g.
... Contents Michael Barrymore Michael Barrymore, born 4 May 1952, is a British comedian famous for his variety shows. This ...