Sequential functions on indexed domains and full abstraction for a sub-language of PCF (Q5890055)

From MaRDI portal
scientific article; zbMATH DE number 7680647
Language Label Description Also known as
English
Sequential functions on indexed domains and full abstraction for a sub-language of PCF
scientific article; zbMATH DE number 7680647

    Statements

    Sequential functions on indexed domains and full abstraction for a sub-language of PCF (English)
    0 references
    0 references
    0 references
    28 April 2023
    0 references
    index structure
    0 references
    stable function
    0 references
    sequential function
    0 references
    ground type
    0 references
    type context
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers