A Meta Lambda Calculus with Cross-Level Computation (Q2819825)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A Meta Lambda Calculus with Cross-Level Computation
scientific article

    Statements

    A Meta Lambda Calculus with Cross-Level Computation (English)
    0 references
    0 references
    29 September 2016
    0 references
    dynamic binding
    0 references
    lambda calculus
    0 references
    metavariables
    0 references
    textual substitution
    0 references

    Identifiers