Call-by-name, call-by-value and the \(\lambda\)-calculus (Q1225449)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Call-by-name, call-by-value and the \(\lambda\)-calculus
scientific article

    Statements

    Identifiers