scientific article; zbMATH DE number 1943083

MaRDI QIDQ4409647zbMATH OpenFDO

Authors L. E. Budaghyan

Publication date 12 November 2003

zbMATH Keywords

\(\delta\)-normalization\(\delta\)-reductionmonotonic modelstyped \(\lambda\)-calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 7039354
• A necessary and sufficient condition for the uniqueness of \(\beta\delta\)-normal form of typed \(\lambda\)-terms for the canonical notion of \(\delta\)-reduction
• On the uniqueness of \(\beta\delta\)-normal form of typed \(\lambda\)-terms for the canonical notion of \(\delta\)-reduction
• On canonical notion of -reduction and on translation of typed -terms into untyped -terms
• The formal system λδ

Cited in

(4)

• Strong normalization with singleton types
• Gamma-reduction in type theory of acyclic recursion
• A necessary and sufficient condition for the uniqueness of \(\beta\delta\)-normal form of typed \(\lambda\)-terms for the canonical notion of \(\delta\)-reduction
• On the uniqueness of \(\beta\delta\)-normal form of typed \(\lambda\)-terms for the canonical notion of \(\delta\)-reduction

This page was built for publication:

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