Lambda calculus translation.