Pages that link to "Item:Q556824"
From MaRDI portal
The following pages link to Polarized and focalized linear and classical proofs (Q556824):
Displaying 5 items.
- A focused approach to combining logics (Q639671) (← links)
- Focusing and polarization in linear, intuitionistic, and classical logics (Q1035706) (← links)
- Strong normalization property for second order linear logic (Q1044837) (← links)
- Proof nets for classical logic (Q1982017) (← links)
- Syntax vs. semantics: A polarized approach (Q2570132) (← links)
