The following pages link to (Q2844073):
Displayed 8 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)
- Call-by-name reduction and cut-elimination in classical logic (Q2482842) (← links)
- On the Computational Representation of Classical Logical Connectives (Q2864215) (← links)
- Monadic Translation of Intuitionistic Sequent Calculus (Q3638248) (← links)
- Strong Normalisation of Cut-Elimination That Simulates β-Reduction (Q5458374) (← links)