Theoretical Pearl: Church numerals‚ twice!
This pearl explains Church numerals, twice. The first explanation links Church numerals to Peano numerals via the well-known encoding of data types in the polymorphic λ-calculus. This view suggests that Church numerals are folds in disguise. The second explanation, which is more elaborate, but also...
| প্রধান লেখক: | |
|---|---|
| বিন্যাস: | Journal article |
| প্রকাশিত: |
2005
|