Publication:3024911
From MaRDI portal
zbMath1063.03520MaRDI QIDQ3024911
Publication date: 4 July 2005
03B40: Combinatory logic and lambda calculus
Related Items
On the longest perpetual reductions in orthogonal expression reduction systems, Semantical analysis of perpetual strategies in \(\lambda\)-calculus, Perpetuality and uniform normalization in orthogonal rewrite systems