Pages that link to "Item:Q5096268"
From MaRDI portal
The following pages link to A dialectica-like model of linear logic (Q5096268):
Displaying 11 items.
- Functional interpretations of linear and intuitionistic logic (Q964504) (← links)
- Full intuitionistic linear logic (Q1314646) (← links)
- \(*\)-autonomous categories of bimodules (Q1345016) (← links)
- Glueing and orthogonality for models of linear logic (Q1398466) (← links)
- Chu spaces as a semantic bridge between linear logic and mathematics. (Q1398475) (← links)
- Accessible categories and models of linear logic (Q2639952) (← links)
- Many-one reductions and the category of multivalued functions (Q2973252) (← links)
- A comparison between monoidal and substructural logics (Q4586159) (← links)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (Q5044310) (← links)
- Holomorphic models of exponential types in linear logic (Q5890062) (← links)
- Categorification of Negative Information using Enrichment (Q6150139) (← links)
