No label defined (Q3745258)

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

    Statements

    1985
    0 references
    finitely typed lambda terms with fixed points
    0 references
    Hoare Logic
    0 references
    partial correctness
    0 references
    higher type recursion
    0 references
    first order oracle
    0 references
    programming language with functions
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references