Unguarded recursion on coinductive resumptions (Q5971399)

From MaRDI portal
Revision as of 00:01, 6 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article; zbMATH DE number 6664932
Language Label Description Also known as
English
Unguarded recursion on coinductive resumptions
scientific article; zbMATH DE number 6664932

    Statements

    Unguarded recursion on coinductive resumptions (English)
    0 references
    0 references
    0 references
    0 references
    16 December 2016
    0 references
    recursion
    0 references
    coalgebra
    0 references
    coinduction
    0 references
    complete Elgot monad
    0 references
    resumptions
    0 references

    Identifiers