Primitive Recursive Function Examples

primitive-recursive-functions.tex

projections~$\Proj{n}{i}$ are !!{lambda definable}.

Some results have been hidden because they may be inaccessible to you