Pages that link to "Item:Q964504"
From MaRDI portal
The following pages link to Functional interpretations of linear and intuitionistic logic (Q964504):
Displaying 5 items.
- On bounded functional interpretations (Q424545) (← 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)
- Functional Interpretations of Intuitionistic Linear Logic (Q5902221) (← links)
