Journal article
Theoretical Pearl: Church numerals‚ twice!
- Abstract:
-
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 more insightful, derives Church numerals from first principles, that is, from an algebraic specification of addition and multiplication. Additionally, we illustrate the use of the parametricity the...
Expand abstract
Actions
Authors
Bibliographic Details
- Journal:
- JFP
- Volume:
- 15
- Issue:
- 1
- Pages:
- 1-13
- Publication date:
- 2005-01-01
- DOI:
Item Description
- UUID:
-
uuid:e3aa88e9-6a71-46cf-bc04-de1da7e601ec
- Local pid:
- cs:4848
- Deposit date:
- 2015-03-31
Terms of use
- Copyright date:
- 2005
If you are the owner of this record, you can report an update to it here: Report update to this record