Pages that link to "Item:Q5739978"
From MaRDI portal
The following pages link to A deep inference system with a self-dual binder which is complete for linear lambda calculus (Q5739978):
Displaying 4 items.
- Deep inference and probabilistic coherence spaces (Q452333) (← links)
- (Q5089025) (← links)
- Constructing weak simulations from linear implications for processes with private names (Q5236556) (← links)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)