Extension of the formal system of the theory of expressions with arities and its strong normalization property

MaRDI QIDQ3366964zbMATH OpenFDO

Authors Taolue Chen, Bin Li, Jian Lu

Publication date 16 February 2006

zbMATH Keywords

strong normalizationformal systemtheory of expressions with arities

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Some normalization properties of Martin-Löf's type theory, and applications
• scientific article; zbMATH DE number 53088
• On the syntax of Martin-Löf's type theories
• An extended type system with lambda-typed lambda-expressions
• Normalising the associative law: An experiment with Martin-Löf's type theory

Cited in

(3)

• A note on the strong and weak generative powers of formal systems
• Armstrong axioms and Boyce-Codd-Heath normal form under bag semantics
• A normal form for arithmetical derivations implying the \(\omega\)-consistency of arithmetic

This page was built for publication: Extension of the formal system of the theory of expressions with arities and its strong normalization property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3366964)