Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Fibrational Induction Rules for Initial Algebras - MaRDI portal

Fibrational Induction Rules for Initial Algebras (Q3586050)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Fibrational Induction Rules for Initial Algebras
scientific article

    Statements

    title
    Fibrational Induction Rules for Initial Algebras (English)
    0 references
    author
    Neil Ghani
    0 references
    Patricia Johann
    0 references
    Clément Fumex
    0 references
    publication date
    3 September 2010
    0 references
    Mathematics Subject Classification ID
    68Q65
    0 references
    18C20
    0 references
    68N18
    0 references
    zbMATH DE Number
    5779256
    0 references
    OpenAlex ID
    W2151828545
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3586050&oldid=33017231"
    Powered by MediaWiki