Capturing strong reduction in director string calculus
A technique for implementing functional languages is based on the translation of terms from \(\lambda\)-calculus to combinatory logic. The authors present an extension of the work of \textit{R. Kennaway} and \textit{R. Sleep} [ACM Trans. Program. Lang. Syst. 10, No. 4, 602-626 (1988; Zbl 0669.68013)] to preserve strong reduction.
scientific article; zbMATH DE number 166431