Journal article icon

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


Access Document


Publisher copy:
10.1017/S0956796804005313

Authors


Journal:
JFP
Volume:
15
Issue:
1
Pages:
1-13
Publication date:
2005-01-01
DOI:
URN:
uuid:e3aa88e9-6a71-46cf-bc04-de1da7e601ec
Local pid:
cs:4848

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP