The following pages link to (Q4986736):
Displaying 5 items.
- A universal algorithm for Krull's theorem (Q2672666) (← links)
- Well Quasi-orders and the Functional Interpretation (Q3295153) (← links)
- Higman’s Lemma and Its Computational Content (Q3305561) (← links)
- Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs (Q3305635) (← links)
- Dialectica interpretation of well-founded induction (Q3506320) (← links)