On Strong Normalization of the Calculus of Constructions with Type-Based Termination (Q4933315)

From MaRDI portal
scientific article; zbMATH DE number 5798906
Language Label Description Also known as
English
On Strong Normalization of the Calculus of Constructions with Type-Based Termination
scientific article; zbMATH DE number 5798906

    Statements

    On Strong Normalization of the Calculus of Constructions with Type-Based Termination (English)
    0 references
    0 references
    0 references
    12 October 2010
    0 references

    Identifiers