Extraordinary Ordinals

Extraordinary Ordinals Marvin Borner 2026-05-12 Abstract draw some lambda encodings of numbers as graphs. make them extraordinary. Linear Mackie Parigot Affine Scott Bruijn Non-Linear Church Mogensen Wadsworth References Syntax. Expressionse,b,f,a∷=xVariable∣x⇒bAbstraction∣f←aApplicationVariablesx∈k,x,y,…Numbersn∈0,1,2,… \small\begin{array}{lrcll} \mathrm{Expressions}\quad & e,b,f,a & {\Coloneqq} & x & \quad\mathrm{Variable} \\ & & {\mid} & x\Rightarrow b & \quad\