Coalgebras in functional programming and type theory (Q639643)

From MaRDI portal
Revision as of 08:19, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Coalgebras in functional programming and type theory
scientific article

    Statements

    Coalgebras in functional programming and type theory (English)
    0 references
    0 references
    22 September 2011
    0 references
    survey article
    0 references
    corecursive methods
    0 references

    Identifiers