The following pages link to (Q2757839):
Displaying 6 items.
- Ordinal arithmetic: Algorithms and mechanization (Q851144) (← links)
- Leanest quasi-orderings (Q876045) (← links)
- Type-theoretic approaches to ordinals (Q2700785) (← links)
- Direct-chaining with coalescing lists (Q3321500) (← links)
- Trees, ordinals and termination (Q5044740) (← links)
- Regular and First-Order List Functions (Q5145284) (← links)