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

From MaRDI portal
Revision as of 07:20, 7 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
    describes a project that uses
    Automath
    0 references
    Coq
    0 references
    OpenAlex ID
    W2074746292
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2873661&oldid=35369936"
    Powered by MediaWiki