The following pages link to (Q3824307):
Displayed 35 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)
- Linear realizability and full completeness for typed lambda-calculi (Q556821) (← links)
- Computational interpretations of linear logic (Q685430) (← links)
- A categorical model for the geometry of interaction (Q817846) (← links)
- Interaction graphs: additives (Q892169) (← links)
- A type assignment system for game semantics (Q930873) (← links)
- Gödel's system \(\mathcal T\) revisited (Q960861) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- A game semantics for linear logic (Q1192350) (← links)
- Decision problems for propositional linear logic (Q1192352) (← links)
- Bounded linear logic: A modular approach to polynomial-time computability (Q1193854) (← links)
- On the \(\pi\)-calculus and linear logic (Q1342247) (← links)
- On proof normalization in linear logic (Q1342248) (← links)
- Chu spaces as a semantic bridge between linear logic and mathematics. (Q1398475) (← links)
- Full abstraction for PCF (Q1854394) (← links)
- Petri nets, Horn programs, linear logic and vector games (Q1899147) (← links)
- Simple free star-autonomous categories and full coherence (Q1936110) (← links)
- Variations on mobile processes (Q1960530) (← links)
- A proof theory for model checking (Q2331070) (← links)
- Lambek calculus is NP-complete (Q2500488) (← links)
- The Power of Closed Reduction Strategies (Q2866800) (← links)
- (Q3495524) (← links)
- Traced Premonoidal Categories (Q4460686) (← links)
- (Q4580325) (← links)
- Non-normal modalities in variants of linear logic (Q4586144) (← links)
- A correspondence between maximal abelian sub-algebras and linear logic fragments (Q4599613) (← links)
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Q4917988) (← links)
- (Q5018485) (← links)
- (Q5018489) (← links)
- Conditional rewriting logic: Deduction, models and concurrency (Q5881267) (← links)
- On the symmetry of sequentiality (Q5890040) (← links)
- Representation of partial traces (Q5971391) (← links)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)