The following pages link to Uniform Heyting arithmetic (Q1772775):
Displayed 4 items.
- Realizability interpretation of proofs in constructive analysis (Q1015381) (← links)
- Programs from proofs using classical dependent choice (Q2482844) (← links)
- Light monotone Dialectica methods for proof mining (Q3184220) (← links)
- Dialectica Interpretation with Fine Computational Control (Q3576085) (← links)