Call-by-value Solvability (Q4953339)

From MaRDI portal
scientific article; zbMATH DE number 1444296
Language Label Description Also known as
English
Call-by-value Solvability
scientific article; zbMATH DE number 1444296

    Statements

    Call-by-value Solvability (English)
    0 references
    0 references
    9 May 2000
    0 references
    0 references
    solvability
    0 references
    \(\lambda\)-calculus
    0 references
    0 references
    0 references
    0 references
    0 references