Publication:4281488
From MaRDI portal
zbMath0806.03014MaRDI QIDQ4281488
Publication date: 16 February 1995
03B40: Combinatory logic and lambda calculus
Related Items
On the confluence of lambda-calculus with conditional rewriting, Higher-order rewrite systems and their confluence, Infinite \(\lambda\)-calculus and types, Combinatory reduction systems: Introduction and survey, Developing developments, Nominal rewriting