Pages that link to "Item:Q424545"
From MaRDI portal
The following pages link to On bounded functional interpretations (Q424545):
Displaying 15 items.
- The bounded functional interpretation of bar induction (Q435192) (← links)
- Bounded functional interpretation and feasible analysis (Q866559) (← links)
- Unifying functional interpretations (Q867407) (← links)
- Intuitionistic nonstandard bounded modified realisability and functional interpretation (Q1706266) (← links)
- Nonstandardness and the bounded functional interpretation (Q2344622) (← links)
- Bounded functional interpretation (Q2488269) (← links)
- Hybrid functional interpretations of linear and intuitionistic logic (Q2882562) (← links)
- Proof interpretations with truth (Q3066291) (← links)
- A note on the monotone functional interpretation (Q3107344) (← links)
- Functional interpretation and the existence property (Q3159413) (← links)
- Confined modified realizability (Q3406445) (← links)
- The bounded functional interpretation of the double negation shift (Q3570171) (← links)
- (Q4792803) (← links)
- (Q5004949) (← links)
- Hardwiring truth in functional interpretations (Q6041142) (← links)