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
Weakest preconditions in fibrations - MaRDI portal

Weakest preconditions in fibrations (Q2133463)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Weakest preconditions in fibrations
scientific article

    Statements

    title
    Weakest preconditions in fibrations (English)
    0 references
    author
    Alejandro Aguirre
    0 references
    Shin-ya Katsumata
    0 references
    publication date
    29 April 2022
    0 references
    zbMATH Keywords
    weakest precondition predicate transformer
    0 references
    monad
    0 references
    computational effects
    0 references
    fibered category theory
    0 references
    Hoare logic
    0 references
    cites work
    Q4885871
    0 references
    Q5579535
    0 references
    Computer Science Logic
    0 references
    Q2847815
    0 references
    Q3159161
    0 references
    Q4693151
    0 references
    Q3432078
    0 references
    Q4499144
    0 references
    Q4738236
    0 references

    Identifiers

    zbMATH DE Number
    7516369
    0 references
    OpenAlex ID
    W3094043897
    0 references
    Wikidata QID
    Q113317309
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2133463&oldid=36796488"
    Powered by MediaWiki