Logical foundations for programming semantics (Q685420)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Logical foundations for programming semantics
scientific article

    Statements

    Logical foundations for programming semantics (English)
    0 references
    0 references
    0 references
    5 May 1994
    0 references
    0 references
    0 references
    0 references
    0 references
    natural-deduction-based set theory
    0 references
    programming semantics
    0 references
    recursive definitions
    0 references
    natural-deduction logic
    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