Adding algebraic rewriting to the calculus of constructions : Strong normalization preserved (Q5881282)

From MaRDI portal
scientific article; zbMATH DE number 7661654
Language Label Description Also known as
English
Adding algebraic rewriting to the calculus of constructions : Strong normalization preserved
scientific article; zbMATH DE number 7661654

    Statements

    Adding algebraic rewriting to the calculus of constructions : Strong normalization preserved (English)
    0 references
    0 references
    9 March 2023
    0 references
    0 references
    0 references