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
Aspects of Categorical Recursion Theory - MaRDI portal

Aspects of Categorical Recursion Theory (Q5014598)

From MaRDI portal
scientific article; zbMATH DE number 7440908
Language Label Description Also known as
English
Aspects of Categorical Recursion Theory
scientific article; zbMATH DE number 7440908

    Statements

    title
    Aspects of Categorical Recursion Theory (English)
    0 references
    publication date
    8 December 2021
    0 references
    zbMATH Keywords
    category theory
    0 references
    computer science
    0 references
    recursion theory
    0 references
    Jim Lambek
    0 references
    author
    Pieter J. W. Hofstra
    0 references
    Philip J. Scott
    0 references
    cites work
    Q4222034
    0 references
    Q4853960
    0 references
    Q3715301
    0 references
    Q3795831
    0 references
    Q2919772
    0 references
    Q2919773
    0 references
    Q4342439
    0 references
    Q3893911
    0 references
    Q3376920
    0 references
    Q5411254
    0 references
    Q5612462
    0 references
    Q4128540
    0 references
    Q3050433
    0 references
    Linear logic
    0 references
    Q3994895
    0 references
    Q3671978
    0 references
    Tripos theory
    0 references
    Q5812175
    0 references
    Q5344164
    0 references
    Q5595187
    0 references
    Q5655525
    0 references
    Q3922646
    0 references
    Q4735315
    0 references
    Q3727946
    0 references
    Q5622402
    0 references
    Q5676377
    0 references
    Q5316371
    0 references
    Q4215784
    0 references
    Q3552042
    0 references
    Q3735051
    0 references
    Q4145693
    0 references
    Q3659785
    0 references
    Q3999386
    0 references
    Q4783307
    0 references
    Q4499084
    0 references
    Artin glueing
    0 references

    Identifiers

    Mathematics Subject Classification ID
    81P68
    0 references
    68Q04
    0 references
    18-08
    0 references
    03D60
    0 references
    01A05
    0 references
    01-01
    0 references
    81-01
    0 references
    94-01
    0 references
    zbMATH DE Number
    7440908
    0 references
    OpenAlex ID
    W3000371917
    0 references
    arXiv ID
    2001.05778
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5014598&oldid=36747122"
    Powered by MediaWiki