Linear numeral systems

DOI10.1007/S10817-018-9456-6MaRDI QIDQ2331071zbMATH OpenOpenAlexFDO

Authors Ian Mackie

Publication date 25 October 2019

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s10817-018-9456-6

zbMATH Keywords

lambda-calculuslinearitynumeral systems

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Systems of Numeration
• scientific article; zbMATH DE number 3867416
• scientific article; zbMATH DE number 16710
• scientific article; zbMATH DE number 1285979
• Confluent linear numeration systems
• Linear numeration systems of order two
• scientific article; zbMATH DE number 3121699

Cites work

• An investigation of compact and efficient number representations in the pure lambda calculus
• Combinatory logic. With two sections by William Craig.
• Constant time reductions in -calculus
• scientific article; zbMATH DE number 3730111 (Why is no real title available?)
• scientific article; zbMATH DE number 3775492 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 2242116 (Why is no real title available?)
• The lambda calculus. Its syntax and semantics. Rev. ed.

Cited in

(3)

• The Power of Linear Functions
• Many more predecessors: a representation workout
• Recursion-free modular arithmetic in the lambda-calculus

This page was built for publication: Linear numeral systems

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