The following pages link to (Q5477354):
Displaying 10 items.
- Interaction graphs: graphings (Q345705) (← links)
- Geometry of interaction. V: Logic in the hyperfinite factor (Q534694) (← links)
- Interaction graphs: multiplicatives (Q714715) (← links)
- Interaction graphs: additives (Q892169) (← links)
- Interpreting a finitary pi-calculus in differential interaction nets (Q979075) (← links)
- Partially traced categories (Q1940191) (← links)
- A game-semantic model of computation (Q2319854) (← links)
- A correspondence between maximal abelian sub-algebras and linear logic fragments (Q4599613) (← links)
- Dynamic game semantics (Q4988428) (← links)
- Zeta functions and the (linear) logic of Markov processes (Q6597969) (← links)