Finite notations for infinite terms (Q1295405)

From MaRDI portal





scientific article; zbMATH DE number 1308087
Language Label Description Also known as
English
Finite notations for infinite terms
scientific article; zbMATH DE number 1308087

    Statements

    Finite notations for infinite terms (English)
    0 references
    9 May 2000
    0 references
    ordinal notations
    0 references
    infinitary terms
    0 references
    trade-off theorem
    0 references
    continuous normalization
    0 references

    Identifiers