Pages that link to "Item:Q5958619"

The following pages link to Weak normalization implies strong normalization in a class of non-dependent pure type systems (Q5958619):

Displayed 3 items.

• Conservation and uniform normalization in lambda calculi with erasing reductions (Q1854562) ‎ (← links)
• Strong cut-elimination in sequent calculus using Klop's <i>ι</i>-translation and perpetual reductions (Q3617369) ‎ (← links)
• An induction principle for pure type systems (Q5958776) ‎ (← links)