Inductive and Coinductive Components of Corecursive Functions in Coq (Q2873661)

From MaRDI portal
Revision as of 20:29, 3 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Inductive and Coinductive Components of Corecursive Functions in Coq
scientific article

    Statements

    title
    Inductive and Coinductive Components of Corecursive Functions in Coq (English)
    0 references
    author
    Yves Bertot
    0 references
    publication date
    24 January 2014
    0 references
    zbMATH DE Number
    6250397
    0 references
    zbMATH Keywords
    Coq
    0 references
    induction
    0 references
    coinduction
    0 references
    productiveness
    0 references
    guardedness
    0 references
    accessibility predicates
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2873661&oldid=15822645"
    Powered by MediaWiki