3 ms·It’s the representation of a natural number in the lambda calculus that Church proposed.by theFco 2y agoIt’s the representation of a natural number in the lambda calculus that Church proposed.