Pages that link to "Item:Q2946642"
From MaRDI portal
The following pages link to A system of interaction and structure IV (Q2946642):
Displaying 12 items.
- On linear logic planning and concurrency (Q1041042) (← links)
- On the decision problem for MELL (Q1733062) (← links)
- Zoom structures and reaction systems yield exploration systems (Q2929618) (← links)
- On the Power of Substitution in the Calculus of Structures (Q2946759) (← links)
- Linear Lambda Calculus and Deep Inference (Q3007666) (← links)
- (Q5089025) (← links)
- Deep inference and expansion trees for second-order multiplicative linear logic (Q5236548) (← links)
- Constructing weak simulations from linear implications for processes with private names (Q5236556) (← links)
- A system of interaction and structure (Q5277766) (← links)
- A Logical Basis for Quantum Evolution and Entanglement (Q5414959) (← links)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)
- Flag: a self-dual modality for non-commutative contraction and duplication in the category of coherence spaces (Q6657789) (← links)
