scientific article; zbMATH DE number 1414305
From MaRDI portal
zbMath0941.68600MaRDI QIDQ4942642
Publication date: 16 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Strong normalization from weak normalization in typed \(\lambda\)-calculi, On the longest perpetual reductions in orthogonal expression reduction systems, Perpetuality and uniform normalization in orthogonal rewrite systems, Effective longest and infinite reduction paths in untyped λ-calculi
