Pages that link to "Item:Q1840460"

The following pages link to Normalization without reducibility (Q1840460):

Displaying 9 items.

• A short proof that adding some permutation rules to \(\beta \) preserves SN (Q631758) (← links)
• A completeness result for a realisability semantics for an intersection type system (Q882122) (← links)
• Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage (Q930871) (← links)
• A domain model characterising strong normalisation (Q958484) (← links)
• Contraction-free Proofs and Finitary Games for Linear Logic (Q2805162) (← links)
• Big-step normalisation (Q3638919) (← links)
• An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus (Q4580321) (← links)
• A short proof of the strong normalization of classical natural deduction with disjunction (Q4650284) (← links)
• (Q5076058) (← links)