A non-deterministic call-by-need lambda calculus (Q5348907)

From MaRDI portal
scientific article; zbMATH DE number 6763150
Language Label Description Also known as
English
A non-deterministic call-by-need lambda calculus
scientific article; zbMATH DE number 6763150

    Statements

    Identifiers