The following pages link to Hybrid Functional Interpretations (Q3507440):
Displaying 7 items.
- Light Dialectica revisited (Q636373) (← links)
- Proofs, programs, processes (Q693063) (← links)
- An application of proof mining to nonlinear iterations (Q2453072) (← links)
- A parametrised functional interpretation of Heyting arithmetic (Q2659105) (← links)
- Proof interpretations with truth (Q3066291) (← links)
- Dialectica Interpretation with Fine Computational Control (Q3576085) (← links)
- (Q5028422) (← links)
