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
Inductive Type Schemas as Functors - MaRDI portal

Inductive Type Schemas as Functors (Q3434680)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Inductive Type Schemas as Functors
scientific article

    Statements

    title
    Inductive Type Schemas as Functors (English)
    0 references
    author
    Freiric Barral
    0 references
    Serguei V. Solov'ev
    0 references
    publication date
    2 May 2007
    0 references

    Identifiers

    DOI
    10.1007/11753728_7
    0 references
    zbMATH DE Number
    5148712
    0 references
    OpenAlex ID
    W1505226138
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3434680&oldid=31521995"
    Powered by MediaWiki