Parametric corecursion (Q5941163)

From MaRDI portal
scientific article; zbMATH DE number 1635328
Language Label Description Also known as
English
Parametric corecursion
scientific article; zbMATH DE number 1635328

    Statements

    Identifiers