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
Reversible monadic computing - MaRDI portal

Reversible monadic computing (Q5971401)

From MaRDI portal
scientific article; zbMATH DE number 6664934
Language Label Description Also known as
English
Reversible monadic computing
scientific article; zbMATH DE number 6664934

    Statements

    title
    Reversible monadic computing (English)
    0 references
    author
    Chris Heunen
    0 references
    Martti Karvonen
    0 references
    publication date
    16 December 2016
    0 references
    zbMATH Keywords
    Frobenius monad
    0 references
    dagger category
    0 references
    reversible computing
    0 references
    quantum measurement
    0 references
    cites work
    Q3560840
    0 references
    Q3997112
    0 references
    Q5448360
    0 references
    Q4143491
    0 references
    Q2863887
    0 references
    Q4355684
    0 references
    Handlers in action
    0 references
    Q3727946
    0 references
    Q3368182
    0 references
    Q3619416
    0 references
    Algebra of proofs
    0 references
    Q3886867
    0 references
    Comprehending monads
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q05
    0 references
    18C20
    0 references
    18C50
    0 references
    18D15
    0 references
    81P15
    0 references
    81P68
    0 references
    zbMATH DE Number
    6664934
    0 references
    OpenAlex ID
    W1592668793
    0 references
    arXiv ID
    1505.04330
    0 references
    Wikidata QID
    Q113317727
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5971401&oldid=36295420"
    Powered by MediaWiki