On canonical notion of -reduction and on translation of typed -terms into untyped -terms

MaRDI QIDQ5283606zbMATH OpenFDO

Authors S. A. Nigiyan, Tigran V. Khondkaryan

Publication date 24 July 2017

zbMATH Keywords

translation\(\lambda\)-definabilitynotion of \(\delta\)-reductiontyped \(\lambda\)-termuntyped \(\lambda\)-term

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 7039354
• scientific article; zbMATH DE number 6496907
• 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
• scientific article; zbMATH DE number 6823356

Cited in

(7)

• scientific article; zbMATH DE number 1696772 (Why is no real title available?)
• De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: The typed case
• De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: the untyped case
• 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
• scientific article; zbMATH DE number 1943083 (Why is no real title available?)
• scientific article; zbMATH DE number 7039354 (Why is no real title available?)

This page was built for publication: On canonical notion of \(\delta\)-reduction and on translation of typed \(\lambda\)-terms into untyped \(\lambda\)-terms

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