No label defined (Q3681901)

From MaRDI portal
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    0 references
    0 references
    1985
    0 references
    semantics of functional languages
    0 references
    streams
    0 references
    SASL
    0 references
    KRC
    0 references
    recursive equations
    0 references
    metric topology
    0 references
    Banach fixed point theorem
    0 references
    typed lambda calculus
    0 references
    Nondeterminism
    0 references

    Identifiers