Publication:3783265
From MaRDI portal
zbMath0642.03008MaRDI QIDQ3783265
Publication date: 1987
03B40: Combinatory logic and lambda calculus
Related Items
Size-based termination of higher-order rewriting, Two different strong normalization proofs?, On the longest perpetual reductions in orthogonal expression reduction systems, Perpetual reductions in \(\lambda\)-calculus, Perpetuality and uniform normalization in orthogonal rewrite systems