Gödel's system \(\mathcal T\) revisited (Q960861)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Gödel's system \(\mathcal T\) revisited
scientific article

    Statements

    Gödel's system \(\mathcal T\) revisited (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    29 March 2010
    0 references
    \(\lambda \)-calculus
    0 references
    system \(\mathcal T\)
    0 references
    linearity
    0 references
    closed reduction
    0 references

    Identifiers