Pages that link to "Item:Q2844073"
From MaRDI portal
The following pages link to Call-by-value, call-by-name, and strong normalization for the classical sequent calculus (Q2844073):
Displaying 13 items.
- Kripke models for classical logic (Q636371) (← links)
- Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\) (Q636376) (← links)
- Symmetric categorial grammar (Q843772) (← links)
- Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage (Q930871) (← links)
- A formal equational theory for call-by-push-value (Q1791198) (← links)
- Abstracting models of strong normalization for classical calculi (Q2291828) (← links)
- Call-by-name reduction and cut-elimination in classical logic (Q2482842) (← links)
- On the computational representation of classical logical connectives (Q2864215) (← links)
- On semantics of a term calculus for classical logic (Q2929866) (← links)
- Monadic Translation of Intuitionistic Sequent Calculus (Q3638248) (← links)
- (Q4600771) (← links)
- Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus (Q4982059) (← links)
- Strong Normalisation of Cut-Elimination That Simulates β-Reduction (Q5458374) (← links)
