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
Primitive Recursive Dependent Type Theory - MaRDI portal

Primitive Recursive Dependent Type Theory (Q6528678)

From MaRDI portal





scientific article from arXiv
Language Label Description Also known as
English
Primitive Recursive Dependent Type Theory
scientific article from arXiv

    Statements

    title
    Primitive Recursive Dependent Type Theory (English)
    0 references

    Identifiers

    arXiv ID
    2404.01011
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6528678&oldid=40047148"
    Powered by MediaWiki