The following pages link to (Q2915680):
Displaying 10 items.
- Focused and Synthetic Nested Sequents (Q2811354) (← links)
- On the Power of Substitution in the Calculus of Structures (Q2946759) (← links)
- Behavioural Analysis of Sessions Using the Calculus of Structures (Q3179170) (← links)
- Multi-focused cut elimination (Q4637625) (← links)
- (Q5015210) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- (Q5089025) (← links)
- Deep inference and expansion trees for second-order multiplicative linear logic (Q5236548) (← links)
- Constructing weak simulations from linear implications for processes with private names (Q5236556) (← links)
- Focused linear logic and the \(\lambda\)-calculus (Q5971394) (← links)
