The IO- and OI-hierarchies (Q1161273)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The IO- and OI-hierarchies
scientific article

    Statements

    The IO- and OI-hierarchies (English)
    0 references
    0 references
    1982
    0 references
    typed lambda-calculus
    0 references
    recursive procedures in ALGOL 68
    0 references
    finite modes
    0 references
    denotational semantics
    0 references
    program schemes
    0 references
    fixed-point operators
    0 references
    class of level-n schemes
    0 references
    call-by-value
    0 references
    call-by-name
    0 references
    context-free
    0 references
    macro languages
    0 references
    recursion on higher types
    0 references
    control structures
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references