The following pages link to Uniform Heyting arithmetic (Q1772775):
Displayed 7 items.
- Light Dialectica revisited (Q636373) (← links)
- A functional interpretation for nonstandard arithmetic (Q714729) (← links)
- Realizability interpretation of proofs in constructive analysis (Q1015381) (← links)
- Programs from proofs using classical dependent choice (Q2482844) (← links)
- Light Dialectica Program Extraction from a Classical Fibonacci Proof (Q2864211) (← links)
- Light monotone Dialectica methods for proof mining (Q3184220) (← links)
- Dialectica Interpretation with Fine Computational Control (Q3576085) (← links)