This talk is a survey of the work Roger Hindley has done on lambda calculus and combinatory logic throughout his career.