Pages that link to "Item:Q3613361"
From MaRDI portal
The following pages link to Acyclicity and Coherence in Multiplicative Exponential Linear Logic (Q3613361):
Displaying 5 items.
- Visible acyclic differential nets. I: Semantics (Q409321) (← links)
- A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic (Q3540183) (← links)
- The Cut-Elimination Theorem for Differential Nets with Promotion (Q3637197) (← links)
- Jump from parallel to sequential proofs: exponentials (Q4577985) (← links)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)
