Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection (Q5501464)

From MaRDI portal
scientific article; zbMATH DE number 6469480
Language Label Description Also known as
English
Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection
scientific article; zbMATH DE number 6469480

    Statements

    Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection (English)
    0 references
    3 August 2015
    0 references
    0 references
    higher-order abstract syntax
    0 references
    languages with bindings
    0 references
    mechanized reasoning
    0 references
    meta-theory
    0 references
    MetaPRL
    0 references
    NuPRL
    0 references
    reflection
    0 references
    type theory
    0 references
    0 references
    0 references
    0 references