No label defined (Q4036554)

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

    Statements

    0 references
    0 references
    18 May 1993
    0 references
    programming with primitive recursion over non-free datatypes
    0 references
    lists
    0 references
    bags
    0 references
    sets
    0 references
    set-theoretic denotational semantics with partial functions
    0 references
    logic for reasoning about the definedness of terms
    0 references
    deterministic and terminating evaluator
    0 references
    recursion free programs
    0 references
    back-and-forth translations
    0 references

    Identifiers