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
Modality via iterated enrichment - MaRDI portal

Modality via iterated enrichment (Q2134835)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Modality via iterated enrichment
scientific article

    Statements

    title
    Modality via iterated enrichment (English)
    0 references
    author
    Yuichi Nishiwaki
    0 references
    Yoshihiko Kakutani
    0 references
    Yuito Murase
    0 references
    publication date
    3 May 2022
    0 references
    zbMATH Keywords
    lambda calculus
    0 references
    Curry-Howard isomorphism
    0 references
    modal logic
    0 references
    enriched category theory
    0 references

    Identifiers

    zbMATH DE Number
    7517283
    0 references
    Wikidata QID
    Q113317481
    0 references
    OpenAlex ID
    W2964325613
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2134835&oldid=38899347"
    Powered by MediaWiki