scientific article; zbMATH DE number 512779
From MaRDI portal
Publication:4281472
zbMath0795.03020MaRDI QIDQ4281472
Publication date: 1 September 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Strong normalization from weak normalization in typed \(\lambda\)-calculi ⋮ On the strong normalisation of intuitionistic natural deduction with permutation-conversions ⋮ On strong normalization and type inference in the intersection type discipline ⋮ De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: The typed case ⋮ De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: the untyped case ⋮ Weak normalization implies strong normalization in a class of non-dependent pure type systems ⋮ On the longest perpetual reductions in orthogonal expression reduction systems ⋮ Perpetuality and uniform normalization in orthogonal rewrite systems ⋮ Conservation and uniform normalization in lambda calculi with erasing reductions