Beta reduction is invariant, indeed (Q4635589)

From MaRDI portal
scientific article; zbMATH DE number 6863066
Language Label Description Also known as
English
Beta reduction is invariant, indeed
scientific article; zbMATH DE number 6863066

    Statements

    Beta reduction is invariant, indeed (English)
    0 references
    0 references
    0 references
    23 April 2018
    0 references
    \(\lambda\)-calculus
    0 references
    computational complexity
    0 references
    cost models
    0 references
    explicit substitutions
    0 references
    sharing
    0 references

    Identifiers