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
Unitary Theories, Unitary Categories - MaRDI portal

Unitary Theories, Unitary Categories (Q3178243)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Unitary Theories, Unitary Categories
scientific article

    Statements

    title
    Unitary Theories, Unitary Categories (English)
    0 references
    publication date
    8 July 2016
    0 references
    zbMATH Keywords
    partial equational logic
    0 references
    partial algebra
    0 references
    completions
    0 references
    classifying categories
    0 references
    unitary categories
    0 references
    partial combinatory logic
    0 references
    partial combinatory algebras
    0 references
    author
    Pieter J. W. Hofstra
    0 references
    J. Robin B. Cockett
    0 references

    Identifiers

    Mathematics Subject Classification ID
    18D20
    0 references
    03B40
    0 references
    08A55
    0 references
    zbMATH DE Number
    6602802
    0 references
    OpenAlex ID
    W2011841843
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3178243&oldid=39277812"
    Powered by MediaWiki