Many more predecessors: A representation workout. (30th March 2020)
- Record Type:
- Journal Article
- Title:
- Many more predecessors: A representation workout. (30th March 2020)
- Main Title:
- Many more predecessors: A representation workout
- Authors:
- KISELYOV, OLEG
- Abstract:
- Abstract: From the outset, lambda calculus represented natural numbers through iterated application. The successor hence adds one more application, and the predecessor removes. In effect, the predecessor un-applies a term—which seemed impossible, even to Church. It took Kleene a rather oblique glance to sight a related representation of numbers, with an easier predecessor. Let us see what we can do if we look at this old problem with today's eyes. We discern the systematic ways to derive more predecessors—smaller, faster, and sharper—while keeping all teeth.
- Is Part Of:
- Journal of functional programming. Volume 30(2020)
- Journal:
- Journal of functional programming
- Issue:
- Volume 30(2020)
- Issue Display:
- Volume 30, Issue 2020 (2020)
- Year:
- 2020
- Volume:
- 30
- Issue:
- 2020
- Issue Sort Value:
- 2020-0030-2020-0000
- Page Start:
- Page End:
- Publication Date:
- 2020-03-30
- Subjects:
- Functional programming (Computer science) -- Periodicals
- Journal URLs:
- http://journals.cambridge.org/action/displayJournal?jid=JFP ↗
http://firstsearch.oclc.org ↗ - DOI:
- 10.1017/S095679682000009X ↗
- Languages:
- English
- ISSNs:
- 0956-7968
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library STI - ELD Digital store
- Ingest File:
- 14652.xml