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