HOL with Definitions: Semantics, Soundness, and a Verified Implementation (Q2879260)

From MaRDI portal
scientific article
Language Label Description Also known as
English
HOL with Definitions: Semantics, Soundness, and a Verified Implementation
scientific article

    Statements

    HOL with Definitions: Semantics, Soundness, and a Verified Implementation (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    8 September 2014
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers