Substitution in non-wellfounded syntax with variable binding (Q703526)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Substitution in non-wellfounded syntax with variable binding
scientific article

    Statements

    Substitution in non-wellfounded syntax with variable binding (English)
    0 references
    0 references
    0 references
    11 January 2005
    0 references
    Substitution
    0 references
    Non-wellfounded syntax
    0 references
    Variable binding
    0 references
    Monad
    0 references
    Functor category
    0 references
    Final coalgebra
    0 references
    Primitive corecursion
    0 references

    Identifiers