The following pages link to Local computation in linear logic (Q4304131):
Displaying 8 items.
- An interpretation of Shenoy and Shafer's axioms for local computation (Q911810) (← links)
- Proof nets, garbage, and computations (Q1589650) (← links)
- Semantics for local computational effects (Q2851332) (← links)
- (Q4263004) (← links)
- (Q4284237) (← links)
- (Q4428313) (← links)
- (Q4955327) (← links)
- Polynomial-time computation via local inference relations (Q5738964) (← links)