top | item 41467053 (no title) theFco | 1 year ago It’s the representation of a natural number in the lambda calculus that Church proposed. discuss order hn newest No comments yet.
No comments yet.