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
Types for the ambient calculus - MaRDI portal

Types for the ambient calculus (Q2497144)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Types for the ambient calculus
scientific article

    Statements

    title
    Types for the ambient calculus (English)
    0 references
    author
    Luca Cardelli
    0 references
    Giorgio Ghelli
    0 references
    Andrew D. Gordon
    0 references
    publication date
    3 August 2006
    0 references
    cites work
    Q4715213
    0 references
    Q4470506
    0 references
    Q2763674
    0 references
    Secure safe ambients
    0 references
    Q4536435
    0 references
    Q4536614
    0 references
    Mobile ambients
    0 references
    Q4536340
    0 references
    Q2766538
    0 references
    Q2766539
    0 references
    Q4778710
    0 references
    Q4494378
    0 references
    Q4778709
    0 references
    Q4248252
    0 references
    Q2729057
    0 references
    Q4219047
    0 references
    Q4508315
    0 references

    Identifiers

    zbMATH DE Number
    5043231
    0 references
    Wikidata QID
    Q56982131
    0 references
    OpenAlex ID
    W4213386503
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2497144&oldid=34883998"
    Powered by MediaWiki