A linearization of the Lambda-calculus and consequences (Q4500177)

From MaRDI portal
scientific article; zbMATH DE number 1501400
Language Label Description Also known as
English
A linearization of the Lambda-calculus and consequences
scientific article; zbMATH DE number 1501400

    Statements

    A linearization of the Lambda-calculus and consequences (English)
    0 references
    0 references
    4 September 2000
    0 references
    weak normalization
    0 references
    strong normalization
    0 references
    intersection types
    0 references
    type inference
    0 references
    generalization of beta reduction
    0 references
    \(\lambda\)-calculus
    0 references

    Identifiers