No label defined (Q4364378)

From MaRDI portal
scientific article; zbMATH DE number 1088030
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 1088030

    Statements

    17 November 1997
    0 references
    0 references
    \(\lambda\)-calculi of explicit substitutions
    0 references
    open expressions
    0 references