Pages that link to "Item:Q3612668"
From MaRDI portal
The following pages link to Computational Interpretations of Classical Linear Logic (Q3612668):
Displaying 6 items.
- Light Dialectica revisited (Q636373) (← links)
- A parametrised functional interpretation of Heyting arithmetic (Q2659105) (← links)
- Hybrid Functional Interpretations of Linear and Intuitionistic Logic (Q2882562) (← links)
- Proof interpretations with truth (Q3066291) (← links)
- THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING (Q5000259) (← links)
- Functional Interpretations of Intuitionistic Linear Logic (Q5902221) (← links)
