Equational programming in \(\lambda\)-calculus via SL-systems. Part 2
systems of equations in the \(\lambda\)-calculus
scientific article; zbMATH DE number 984048