Incorporating quotation and evaluation into Church's type theory (Q1753993)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Incorporating quotation and evaluation into Church's type theory
scientific article

    Statements

    Incorporating quotation and evaluation into Church's type theory (English)
    0 references
    0 references
    30 May 2018
    0 references
    Church's type theory
    0 references
    simple type theory
    0 references
    metareasoning
    0 references
    reflection
    0 references
    quotation
    0 references
    evaluation
    0 references
    quasiquotation
    0 references
    reasoning about syntax
    0 references
    schemas
    0 references
    symbolic computation
    0 references
    meaning formulas
    0 references
    substitution
    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
    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

    Identifiers