Pages that link to "Item:Q4635658"
From MaRDI portal
The following pages link to On context semantics and interaction nets (Q4635658):
Displaying 4 items.
- Operational equivalence for interaction nets. (Q1401297) (← links)
- Paths-based criteria and application to linear logic subsystems characterizing polynomial time (Q1640980) (← links)
- Context semantics, linear logic, and computational complexity (Q2946582) (← links)
- Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: <i>a minimalist approach</i> (Q4637628) (← links)