The following pages link to Computer Science Logic (Q5394576):
Displaying 8 items.
- An approach to innocent strategies as graphs (Q418201) (← links)
- Proof nets sequentialisation in multiplicative linear logic (Q952490) (← links)
- An exact correspondence between a typed pi-calculus and polarised proof-nets (Q974114) (← links)
- Event Domains, Stable Functions and Proof-Nets (Q2864146) (← links)
- A Graph Abstract Machine Describing Event Structure Composition (Q2867884) (← links)
- Partial Orders, Event Structures and Linear Strategies (Q3637188) (← links)
- Jump from parallel to sequential proofs: exponentials (Q4577985) (← links)
- (Q4643962) (← links)