Pages that link to "Item:Q5387888"

The following pages link to On a Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus (Q5387888):

Displaying 3 items.

• Strong cut-elimination in sequent calculus using Klop's <i>ι</i>-translation and perpetual reductions (Q3617369) (← links)
• Cut Elimination, Substitution and Normalisation (Q5213610) (← links)
• Strong Normalisation of Cut-Elimination That Simulates β-Reduction (Q5458374) (← links)