Why did lambda calculus see widespread use in programming language specification, type system studies, etc?

Pure Lambda Calculus