An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus (Q1229201)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus
scientific article

    Statements

    An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus (English)
    0 references
    0 references
    1976
    0 references
    0 references
    0 references