Pages that link to "Item:Q3540183"
From MaRDI portal
The following pages link to A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic (Q3540183):
Displaying 6 items.
- Visible acyclic differential nets. I: Semantics (Q409321) (← links)
- On phase semantics and denotational semantics in multiplicative-additive linear logic (Q1971797) (← links)
- Acyclicity and Coherence in Multiplicative Exponential Linear Logic (Q3613361) (← links)
- (Q4501135) (← links)
- (Q4842969) (← links)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)