Big-step normalisation (Q3638919)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Big-step normalisation
scientific article

    Statements

    Identifiers