The Useful MAM, a Reasonable Implementation of the Strong $$\lambda $$ -Calculus (Q2820681)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The Useful MAM, a Reasonable Implementation of the Strong $$\lambda $$ -Calculus
scientific article

    Statements

    Identifiers