Pages that link to "Item:Q1357009"

The following pages link to Strong normalization from weak normalization in typed \(\lambda\)-calculi (Q1357009):

Displaying 10 items.

• Resource operators for \(\lambda\)-calculus (Q876041) (← links)
• On strong normalization and type inference in the intersection type discipline (Q930868) (← links)
• Strong normalization property for second order linear logic (Q1044837) (← links)
• Perpetual reductions in \(\lambda\)-calculus (Q1286373) (← links)
• De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: The typed case (Q1763159) (← links)
• De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: the untyped case (Q1764799) (← links)
• Perpetuality and uniform normalization in orthogonal rewrite systems (Q1854401) (← links)
• 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)
• The conservation theorem for differential nets (Q5360213) (← links)