Pages that link to "Item:Q1903129"
From MaRDI portal
The following pages link to Some results on numerical systems in \(\lambda\)-calculus (Q1903129):
Displaying 8 items.
- The Inf function in the system \(F\) (Q1346636) (← links)
- A conjecture on numeral systems (Q1381438) (← links)
- Compaction of Church numerals (Q2005559) (← links)
- An adequate and efficient left-associated binary numeral system in the \(\lambda\)-calculus (Q2713367) (← links)
- Number systems based on logical calculus (Q3191670) (← links)
- Classes of Numeration Models of λ‐Calculus (Q3765743) (← links)
- Taming the wild ant-lion; a counterexample to a conjecture of Böhm (Q5269003) (← links)
- Recursion-free modular arithmetic in the lambda-calculus (Q6072199) (← links)