Pages that link to "Item:Q5387838"
From MaRDI portal
The following pages link to Strong Normalization of the Dual Classical Sequent Calculus (Q5387838):
Displayed 3 items.
- Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\) (Q636376) (← links)
- Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage (Q930871) (← links)
- Classical \(F_{\omega}\), orthogonality and symmetric candidates (Q2482840) (← links)