Compact numeral representation with combinators

DOI10.2307/2274398MaRDI QIDQ3028973zbMATH OpenOpenAlexFDO

Authors E. V. Krishnamurthy, B. P. Vickers

Publication date 1987

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274398

zbMATH Keywords

combinator representation of numeral systemslexicographic ordering of words over a finite alphabetlogarithmic space complexity of symbols

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Compaction of Church numerals
• scientific article; zbMATH DE number 3931097
• An adequate and efficient left-associated binary numeral system in the -calculus
• scientific article; zbMATH DE number 2084341
• A conjecture on numeral systems

Cites work

• A set of postulates for the foundation of logic
• Combinatory logic. Vol. II

Cited in

(2)

• Compaction of Church numerals
• scientific article; zbMATH DE number 2162128 (Why is no real title available?)

This page was built for publication: Compact numeral representation with combinators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3028973)