Decidability of behavioural equivalence in unary PCF (Q1285665)

From MaRDI portal
Revision as of 06:04, 22 February 2024 by RedirectionBot (talk | contribs) (‎Removed claim: author (P16): Item:Q1110492)
scientific article
Language Label Description Also known as
English
Decidability of behavioural equivalence in unary PCF
scientific article

    Statements

    title
    Decidability of behavioural equivalence in unary PCF (English)
    0 references
    publication date
    28 April 1999
    0 references
    zbMATH Keywords
    simply typed lambda calculus
    0 references
    behavioral equivalence
    0 references
    PCF
    0 references
    strictness analysis
    0 references

    Identifiers

    zbMATH DE Number
    1281132
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1285665&oldid=22434454"
    Powered by MediaWiki