Publication:4364379
From MaRDI portal
zbMath0884.03010MaRDI QIDQ4364379
Mizuhito Ogawa, Zurab Khasidashvili
Publication date: 1 April 1998
perpetual redexes; Conditional Orthogonal Expression Reduction Systems; minimal infinite reductions; perpetual one-step reduction strategy; restricted \(\lambda\)-calculi; uniform normalization
03B40: Combinatory logic and lambda calculus
Related Items
On the longest perpetual reductions in orthogonal expression reduction systems, Perpetual reductions in \(\lambda\)-calculus, Perpetuality and uniform normalization in orthogonal rewrite systems, On Normalisation of Infinitary Combinatory Reduction Systems