An adequate and efficient left-associated binary numeral system in the -calculus

DOI10.1017/S0956796800003804MaRDI QIDQ2713367zbMATH OpenOpenAlexFDO

Authors Mayer Goldberg

Publication date 7 May 2001

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796800003804

zbMATH Keywords

\(\lambda\)-calculusbinary expansion of integersnumeral system

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• Some results on numerical systems in -calculus
• Compaction of Church numerals
• scientific article; zbMATH DE number 2084341
• A conjecture on numeral systems
• Counting terms in the binary lambda calculus

Cited in

(10)

• A construction of one-point bases in extended lambda calculi
• A conjecture on numeral systems
• Some results on numerical systems in -calculus
• Compaction of Church numerals
• Compact numeral representation with combinators
• scientific article; zbMATH DE number 2084341 (Why is no real title available?)
• scientific article; zbMATH DE number 1542840 (Why is no real title available?)
• Many more predecessors: a representation workout
• Taming the wild ant-lion; a counterexample to a conjecture of Böhm
• Recursion-free modular arithmetic in the lambda-calculus

This page was built for publication: An adequate and efficient left-associated binary numeral system in the \(\lambda\)-calculus

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