“As soon as it works, no one calls it AI any more.” -- John McCarthy?
advances in lambda calculus and the theory of computation, garbage collection, functional programming languages -- http://bertrandmeyer.com/2011/11/07/john-mccarthy/
possibly: