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

zbMATH Open1085.68029MaRDI QIDQ3366964FDOQ3366964

Authors: Taolue Chen, Bin Li, Jian Lu 

Publication date: 16 February 2006

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

zbMATH Keywords

strong normalizationformal systemtheory of expressions with arities

Mathematics Subject Classification ID

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

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)