scientific article
From MaRDI portal
Publication:3674616
zbMath0523.03009MaRDI QIDQ3674616
Jan Willem Klop, Jan A. Bergstra
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Strong normalization from weak normalization in typed \(\lambda\)-calculi ⋮ On the longest perpetual reductions in orthogonal expression reduction systems ⋮ Semantical analysis of perpetual strategies in \(\lambda\)-calculus ⋮ Perpetual reductions in \(\lambda\)-calculus ⋮ Perpetuality and uniform normalization in orthogonal rewrite systems ⋮ Conservation and uniform normalization in lambda calculi with erasing reductions ⋮ Effective longest and infinite reduction paths in untyped λ-calculi
This page was built for publication:
