Pages that link to "Item:Q2851698"
From MaRDI portal
The following pages link to Why the usual candidates of reducibility do not work for the symmetric $\lambda\mu$-calculus (Q2851698):
Displayed 4 items.
- Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage (Q930871) (← links)
- Abstracting models of strong normalization for classical calculi (Q2291828) (← links)
- Classical \(F_{\omega}\), orthogonality and symmetric candidates (Q2482840) (← links)
- An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus (Q4580321) (← links)