Pages that link to "Item:Q2946642"
From MaRDI portal
The following pages link to A system of interaction and structure IV (Q2946642):
Displayed 7 items.
- On linear logic planning and concurrency (Q1041042) (← links)
- On the decision problem for MELL (Q1733062) (← links)
- On the Power of Substitution in the Calculus of Structures (Q2946759) (← links)
- Linear Lambda Calculus and Deep Inference (Q3007666) (← 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 Logical Basis for Quantum Evolution and Entanglement (Q5414959) (← links)