<p>We consider fold-right for lists, and its static type.  The Church encoding for lists makes them into their own fold-right functions</p>

We consider fold-right for lists, and its static type. The Church encoding for lists makes them into their own fold-right functions

<p>We consider fold-right for lists, and its static type.&nbsp; The Church encoding for lists makes them into their own fold-right functions</p>

Church encoding of lists

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

Share Church encoding of lists