A proof of strong normalization for \(F_ 2\), \(F_ \omega\), and beyond (Q1899911)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A proof of strong normalization for \(F_ 2\), \(F_ \omega\), and beyond
scientific article

    Statements

    A proof of strong normalization for \(F_ 2\), \(F_ \omega\), and beyond (English)
    0 references
    0 references
    0 references
    0 references
    10 October 1995
    0 references
    evaluation technique
    0 references
    strong normalization
    0 references

    Identifiers