Correctness of Copy in Calculi with Letrec (Q5432349)

From MaRDI portal
scientific article; zbMATH DE number 5222822
Language Label Description Also known as
English
Correctness of Copy in Calculi with Letrec
scientific article; zbMATH DE number 5222822

    Statements

    Correctness of Copy in Calculi with Letrec (English)
    0 references
    2 January 2008
    0 references

    Identifiers