I’m speaking about pure lambda calculus where everything, including numbers and mathematical operations is represented as a function. There is a variant called typed lambda calculus but from ...