Extraordinary Ordinals
Summary
This article surveys lambda-calculus numeral encodings, organized into Linear, Affine, and Non-Linear categories. It introduces multiple encodings by Mackie, Parigot, Scott, Bruijn, Church, Mogensen, and Wadsworth, and notes that each can be used for arithmetic, often with illustrative diagrams.