The following pages link to Structural Focalization (Q2946730):
Displayed 12 items.
- Formalized meta-theory of sequent calculi for substructural logics (Q1744443) (← links)
- The polarized \(\lambda\)-calculus (Q1744450) (← links)
- A formally verified cut-elimination procedure for linear nested sequents for tense logic (Q2142082) (← links)
- Mechanizing focused linear logic in Coq (Q2333326) (← links)
- Formalized meta-theory of sequent calculi for linear logics (Q2424887) (← links)
- Focused and Synthetic Nested Sequents (Q2811354) (← links)
- Multi-focused cut elimination (Q4637625) (← links)
- Expressing additives using multiplicatives and subexponentials (Q4637626) (← links)
- (Q5015208) (← links)
- (Q5015210) (← links)
- A focused linear logical framework and its application to metatheory of object logics (Q5022931) (← links)
- Focused linear logic and the \(\lambda\)-calculus (Q5971394) (← links)