Engineering formal metatheory (Q3189820)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Engineering formal metatheory
scientific article

    Statements

    Engineering formal metatheory (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    12 September 2014
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    binding
    0 references
    Coq
    0 references
    locally nameless
    0 references
    0 references