Pages that link to "Item:Q534694"
From MaRDI portal
The following pages link to Geometry of interaction. V: Logic in the hyperfinite factor (Q534694):
Displaying 17 items.
- Logarithmic space and permutations (Q276248) (← links)
- Interaction graphs: graphings (Q345705) (← links)
- Interaction graphs: multiplicatives (Q714715) (← links)
- Interaction graphs: additives (Q892169) (← links)
- Partially traced categories (Q1940191) (← links)
- A game-semantic model of computation (Q2319854) (← links)
- Unary Resolution: Characterizing Ptime (Q2811353) (← links)
- (Q4580325) (← links)
- A correspondence between maximal abelian sub-algebras and linear logic fragments (Q4599613) (← links)
- Dynamic game semantics (Q4988428) (← links)
- A <tt>MALL</tt> geometry of interaction based on indexed linear logic (Q5006458) (← links)
- (Q5018489) (← links)
- Models of Linear Logic based on the Schwartz $\varepsilon$-product (Q5207357) (← links)
- Rule-Following and the Limits of Formalization: Wittgenstein’s Considerations Through the Lens of Logic (Q5213628) (← links)
- Normativity in Logic (Q5253931) (← links)
- Transcendental syntax I: deterministic case (Q5269009) (← links)
- Characterizing<b>co-NL</b>by a group action (Q5741572) (← links)
