Pages that link to "Item:Q5739978"

The following pages link to A deep inference system with a self-dual binder which is complete for linear lambda calculus (Q5739978):

Displaying 3 items.

• (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)