Pages that link to "Item:Q1971797"
From MaRDI portal
The following pages link to On phase semantics and denotational semantics in multiplicative-additive linear logic (Q1971797):
Displayed 5 items.
- An Indexed System for Multiplicative Additive Polarized Linear Logic (Q3540184) (← links)
- A phase semantics for polarized linear logic and second order conservativity (Q5190190) (← links)
- A completeness theorem for symmetric product phase spaces (Q5311727) (← links)
- Canonical extensions and relational completeness of some substructural logics (Q5718685) (← links)
- On phase semantics and denotational semantics: The exponentials (Q5939845) (← links)