Semantics of the typed \(\lambda\)-calculus with substitution in a cartesian closed category (Q687575)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Semantics of the typed \(\lambda\)-calculus with substitution in a cartesian closed category
scientific article

    Statements

    Semantics of the typed \(\lambda\)-calculus with substitution in a cartesian closed category (English)
    0 references
    0 references
    19 October 1993
    0 references
    semantics
    0 references
    typed \(\lambda\)-calculus with substitution
    0 references
    global environments object
    0 references
    individual environments objects
    0 references
    interpretation function
    0 references
    operational semantics
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers