The following pages link to A conjecture on numeral systems (Q1381438):
Displaying 7 items.
- Some results on numerical systems in \(\lambda\)-calculus (Q1903129) (← links)
- Coding with asymmetric numeral systems (Q2176692) (← links)
- An adequate and efficient left-associated binary numeral system in the \(\lambda\)-calculus (Q2713367) (← links)
- Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés (Q4389763) (← links)
- (Q4888804) (← links)
- Taming the wild ant-lion; a counterexample to a conjecture of Böhm (Q5269003) (← links)
- (Q5403284) (← links)