Cumulative learning in the lambda calculus. - Robert John Henderson (2013)