The following pages link to (Q3819066):
Displaying 10 items.
- Interaction graphs: graphings (Q345705) (← links)
- Linear logic, coherence and dinaturality (Q685406) (← links)
- A typed calculus based on a fragment of linear logic (Q908909) (← links)
- A decision procedure revisited: Notes on direct logic, linear logic and its implementation (Q1186430) (← 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)
- Non decomposable connectives of linear logic (Q2326414) (← links)
- A correspondence between maximal abelian sub-algebras and linear logic fragments (Q4599613) (← links)
- Rule-Following and the Limits of Formalization: Wittgenstein’s Considerations Through the Lens of Logic (Q5213628) (← links)
