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
Strong computable type - MaRDI portal

Strong computable type (Q6062176)

From MaRDI portal
scientific article; zbMATH DE number 7772624
Language Label Description Also known as
English
Strong computable type
scientific article; zbMATH DE number 7772624

    Statements

    title
    Strong computable type (English)
    0 references
    author
    Q6062175
    0 references
    Mathieu Hoyrup
    0 references
    publication date
    30 November 2023
    0 references
    zbMATH Keywords
    computable type
    0 references
    descriptive complexity
    0 references
    topological invariant
    0 references
    cites work
    Q5089548
    0 references
    Q3994935
    0 references
    Q4819371
    0 references
    Q3639062
    0 references
    Q4323294
    0 references
    Q5322161
    0 references
    Data Types as Lattices
    0 references
    Q2721306
    0 references

    Identifiers

    arXiv ID
    2210.08309
    0 references
    DOI
    10.3233/com-220430
    0 references
    zbMATH DE Number
    7772624
    0 references
    OpenAlex ID
    W4386955552
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6062176&oldid=37608066"
    Powered by MediaWiki