Pages that link to "Item:Q4644612"

The following pages link to Linear logic model of state revisited (Q4644612):

Displaying 2 items.

• The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions (Q5215079) (← links)
• A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)