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
Relational Parametricity for Computational Effects - MaRDI portal

Relational Parametricity for Computational Effects (Q3395102)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Relational Parametricity for Computational Effects
scientific article

    Statements

    Relational Parametricity for Computational Effects (English)
    0 references
    0 references
    20 August 2009
    0 references

    Identifiers