The following pages link to (Q4842981):
Displayed 26 items.
- Interaction graphs: graphings (Q345705) (← links)
- Geometry of interaction. V: Logic in the hyperfinite factor (Q534694) (← links)
- Musings around the geometry of interaction, and coherence (Q534708) (← links)
- Towards a geometry of recursion (Q534710) (← links)
- A categorical model for the geometry of interaction (Q817846) (← links)
- Interaction graphs: additives (Q892169) (← links)
- A proof-theoretic investigation of a logic of positions (Q1408856) (← links)
- Connection methods in linear logic and proof nets construction (Q1575926) (← links)
- Interaction nets for linear logic (Q1583245) (← links)
- Partially traced categories (Q1940191) (← links)
- A game-semantic model of computation (Q2319854) (← links)
- A structural approach to reversible computation (Q2581367) (← links)
- Unary Resolution: Characterizing Ptime (Q2811353) (← links)
- (Q4222826) (← links)
- (Q4580325) (← links)
- A correspondence between maximal abelian sub-algebras and linear logic fragments (Q4599613) (← links)
- On geometry of interaction for polarized linear logic (Q4961719) (← links)
- Dynamic game semantics (Q4988428) (← links)
- A <tt>MALL</tt> geometry of interaction based on indexed linear logic (Q5006458) (← links)
- lambda!-calculus, Intersection Types, and Involutions (Q5089015) (← links)
- Abstract machines, optimal reduction, and streams (Q5108536) (← links)
- Transcendental syntax I: deterministic case (Q5269009) (← links)
- Classical Structures Based on Unitaries (Q5414965) (← links)
- Proofs as Polynomials (Q5415631) (← links)
- (Q5710546) (← links)
- Representation of partial traces (Q5971391) (← links)