Pages that link to "Item:Q5458374"

The following pages link to Strong Normalisation of Cut-Elimination That Simulates β-Reduction (Q5458374):

Displaying 2 items.

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