Projecting sequential algorithms on strongly stable functions (Q1919532)

From MaRDI portal





scientific article; zbMATH DE number 908461
Language Label Description Also known as
English
Projecting sequential algorithms on strongly stable functions
scientific article; zbMATH DE number 908461

    Statements

    Projecting sequential algorithms on strongly stable functions (English)
    0 references
    0 references
    11 December 1996
    0 references
    sequentiality
    0 references
    strong stability
    0 references
    sequential models of PCF
    0 references

    Identifiers