De Bruijn Numerals: A Novel Number Encoding Method in Lambda Calculus

There are many ways to encode numbers and do arithmetic in the pure lambda calculus, for example using unary Church numerals, various nn-ary representations, and the Scott encoding.