A quantitative model for simply typed λ-calculus (Q5875894)

From MaRDI portal
scientific article; zbMATH DE number 7650542
Language Label Description Also known as
English
A quantitative model for simply typed λ-calculus
scientific article; zbMATH DE number 7650542

    Statements

    Identifiers