"arithmetic in lambda calculus" - related articles and key terms