On the expressive power of schemes (Q719245)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the expressive power of schemes
scientific article

    Statements

    On the expressive power of schemes (English)
    0 references
    0 references
    0 references
    10 October 2011
    0 references
    natural deduction
    0 references
    proof normalization
    0 references
    bound variable
    0 references

    Identifiers