Pages that link to "Item:Q4948037"
From MaRDI portal
The following pages link to Lambda terms for natural deduction, sequent calculus and cut elimination (Q4948037):
Displayed 5 items.
- Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus (Q626494) (← links)
- Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage (Q930871) (← links)
- Classical Call-by-Need and Duality (Q3007655) (← links)
- Characterising Strongly Normalising Intuitionistic Sequent Terms (Q3499751) (← links)
- Computation with classical sequents (Q3520146) (← links)