hr contest lambda_calculi_jul14