Definability and Full Abstraction (Q2864154)

From MaRDI portal
Revision as of 02:56, 7 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Definability and Full Abstraction
scientific article

    Statements

    title
    Definability and Full Abstraction (English)
    0 references
    publication date
    6 December 2013
    0 references
    zbMATH Keywords
    operational semantics
    0 references
    denotational semantics
    0 references
    sequentiality
    0 references
    cites work
    Explicit substitutions
    0 references
    Q4222822
    0 references
    Q4222034
    0 references
    Q4160405
    0 references
    Q3756499
    0 references
    Q3149661
    0 references
    Q5287527
    0 references
    Static Analysis
    0 references
    Linear logic
    0 references
    Concrete domains
    0 references
    Q4457459
    0 references
    Unary PCF is decidable
    0 references
    Q4501156
    0 references
    Q3138547
    0 references

    Identifiers

    zbMATH DE Number
    6236110
    0 references
    OpenAlex ID
    W4301945969
    0 references
    Wikidata QID
    Q56092887
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2864154&oldid=35364050"
    Powered by MediaWiki