More specifically, a lambda abstraction is a lambda expression with no free variables: each its variables is bound by some lambda. E.g.
... III Ramses IV[?] The name means "Child of the Sun". This is a disambiguation page; that is, one that just points to other pages that might otherwise have ...