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
Encoding abstract syntax without fresh names - MaRDI portal

Encoding abstract syntax without fresh names (Q2392477)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Encoding abstract syntax without fresh names
scientific article

    Statements

    title
    Encoding abstract syntax without fresh names (English)
    0 references
    author
    Matthew R. Lakin
    0 references
    Andrew M. Pitts
    0 references
    publication date
    1 August 2013
    0 references
    zbMATH Keywords
    meta-programming
    0 references
    alpha-equivalence
    0 references
    nominal abstract syntax
    0 references
    describes a project that uses
    Ott
    0 references
    ML
    0 references
    Nominal Isabelle
    0 references

    Identifiers

    zbMATH DE Number
    6193953
    0 references
    OpenAlex ID
    W2074694595
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2392477&oldid=39053401"
    Powered by MediaWiki