Pages that link to "Item:Q4318165"
From MaRDI portal
The following pages link to Applications of Linear Logic to Computation: An Overview (Q4318165):
Displaying 5 items.
- Connection methods in linear logic and proof nets construction (Q1575926) (← links)
- Proof-search and proof nets in mixed linear logic (Q2703720) (← links)
- Relational semantics for a fragment of linear logic (Q2874885) (← links)
- Coordination: Reo, Nets, and Logic (Q3603000) (← links)
- (Q4829655) (← links)