Linear numeral systems

DOI10.1007/s10817-018-9456-6zbMath1468.03020OpenAlexW2788280705MaRDI QIDQ2331071

Ian Mackie

Publication date: 25 October 2019

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

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

zbMATH Keywords

linearitylambda-calculusnumeral systems

Mathematics Subject Classification ID

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

Cites Work

• Combinatory logic. With two sections by William Craig.
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item