Combinatory logic pure, applied and typed - Bimbo, Katalin H. (Discrete mathematics and its applications, 2012)