Many more predecessors: A representation workout

研究成果: Article査読

抄録

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.

本文言語English
論文番号e7
ジャーナルJournal of Functional Programming
DOI
出版ステータスAccepted/In press - 2020

ASJC Scopus subject areas

  • ソフトウェア

フィンガープリント

「Many more predecessors: A representation workout」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル