No label defined (Q5465440)

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

    Statements

    0 references
    22 August 2005
    0 references
    calculus of terms for operations on coalgebras
    0 references
    coalgebras of polynomial functors
    0 references
    type theory
    0 references
    bisimilarity of states
    0 references
    bisimulation
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references