We've had surprising success embedding normal arithmetic in the Lambda
Calculus, modeling the natural numbers, addition, multiplication, and
so on. But one thing that some versions of arithmetic supply is a
We've had surprising success embedding normal arithmetic in the Lambda
Calculus, modeling the natural numbers, addition, multiplication, and
so on. But one thing that some versions of arithmetic supply is a