Pages that link to "Item:Q964504"
From MaRDI portal
The following pages link to Functional interpretations of linear and intuitionistic logic (Q964504):
Displaying 10 items.
- On bounded functional interpretations (Q424545) (← links)
- Unifying functional interpretations (Q867407) (← links)
- Cartesian closed Dialectica categories (Q998318) (← links)
- A parametrised functional interpretation of Heyting arithmetic (Q2659105) (← links)
- Hybrid functional interpretations of linear and intuitionistic logic (Q2882562) (← links)
- (Q3081829) (← links)
- (Q3792659) (← links)
- (Q4016066) (← links)
- Functional Interpretation of Logics for ‘Generally’ (Q4656556) (← links)
- Functional Interpretations of Intuitionistic Linear Logic (Q5902221) (← links)