Standardization of a Call-By-Value Lambda-Calculus (Q5277841)

From MaRDI portal
scientific article; zbMATH DE number 6744155
Language Label Description Also known as
English
Standardization of a Call-By-Value Lambda-Calculus
scientific article; zbMATH DE number 6744155

    Statements

    0 references
    0 references
    12 July 2017
    0 references
    standardization
    0 references
    sequentialization
    0 references
    lambda-calculus
    0 references
    sigma-reduction
    0 references
    parallel reduction
    0 references
    call-by-value
    0 references
    head reduction
    0 references
    internal reduction
    0 references
    solvability
    0 references
    potential valuability
    0 references
    observational equivalence
    0 references
    Standardization of a Call-By-Value Lambda-Calculus (English)
    0 references

    Identifiers