Publication:3024920
From MaRDI portal
zbMath1063.03528MaRDI QIDQ3024920
Publication date: 4 July 2005
03B40: Combinatory logic and lambda calculus
Related Items
Strong Normalisation of Cut-Elimination That Simulates β-Reduction, On the longest perpetual reductions in orthogonal expression reduction systems, Resource operators for \(\lambda\)-calculus, Perpetual reductions in \(\lambda\)-calculus, Perpetuality and uniform normalization in orthogonal rewrite systems