scientific article; zbMATH DE number 1088031
From MaRDI portal
Publication:4364379
zbMath0884.03010MaRDI QIDQ4364379
Mizuhito Ogawa, Zurab Khasidashvili
Publication date: 1 April 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
perpetual redexesConditional Orthogonal Expression Reduction Systemsminimal infinite reductionsperpetual one-step reduction strategyrestricted \(\lambda\)-calculiuniform normalization
Related Items
On Normalisation of Infinitary Combinatory Reduction Systems, On the longest perpetual reductions in orthogonal expression reduction systems, Perpetual reductions in \(\lambda\)-calculus, Perpetuality and uniform normalization in orthogonal rewrite systems
