Capturing strong reduction in director string calculus (Q1208420)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Capturing strong reduction in director string calculus
scientific article

    Statements

    Capturing strong reduction in director string calculus (English)
    0 references
    0 references
    0 references
    16 May 1993
    0 references
    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.
    0 references
    director string calculus
    0 references
    implementation
    0 references
    functional languages
    0 references
    \(\lambda\)-calculus
    0 references
    combinatory logic
    0 references
    strong reduction
    0 references

    Identifiers