Pages that link to "Item:Q5958619"
From MaRDI portal
The following pages link to Weak normalization implies strong normalization in a class of non-dependent pure type systems (Q5958619):
Displaying 5 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)
- (Q4957789) (← links)
- Monadic translation of classical sequent calculus (Q5410235) (← links)
- An induction principle for pure type systems (Q5958776) (← links)
