A conjecture on numeral systems

DOI10.1305/NDJFL/1039724890zbMath0918.03009arXiv0905.0755OpenAlexW2075443053WikidataQ123241979 ScholiaQ123241979MaRDI QIDQ1381438

Karim Nour

Publication date: 17 August 1999

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0905.0755

zbMATH Keywords

lambda calculusrecursive functionsnumeral systems

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés

Cites Work

• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation)

This page was built for publication: A conjecture on numeral systems