Complex sentence: Lazy evaluation was introduced for lambda calculus by Christopher Wadsworth and for programming languages independently by Peter Henderson & James H. Morris and Daniel P. Friedman & David S. Wise.
Split into simpler sentences: Lazy evaluation was introduced for lambda calculus by Christopher Wadsworth. For programming languages, it was independently introduced by Peter Henderson and James H. Morris and by Daniel P. Friedman and David S. Wise.