<p>What is fold-right for a natural number?  How do we define addition with this?  The problem of inefficient predecessor.</p>

What is fold-right for a natural number? How do we define addition with this? The problem of inefficient predecessor.

<p>What is fold-right for a natural number?&nbsp; How do we define addition with this?&nbsp; The problem of inefficient predecessor.</p>

Church-encoding natural numbers

Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.

Share Church-encoding natural numbers