New proofs of important theorems of untyped extensional calculus

DOI10.1007/S10559-014-9641-5MaRDI QIDQ2263308zbMATH OpenOpenAlexFDO

Authors A. A. Lyalets'kyj

Publication date 18 March 2015

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10559-014-9641-5

zbMATH Keywords

normalization theorem for \(\beta\eta\)-reductionpostponement of \(\eta\)-reductiontheorem on \(\beta\eta\)-normal formuntyped extensional \(\lambda\)-calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Fundamental theorems of extensional untyped -calculus revisited
• A proof of the leftmost reduction theorem for -calculus
• An elementary proof of the normalization theorem for \(\beta\eta\)-reduction
• scientific article; zbMATH DE number 806614
• Parallel reductions in \(\lambda\)-calculus

Cites work

• scientific article; zbMATH DE number 3961577 (Why is no real title available?)
• scientific article; zbMATH DE number 3730111 (Why is no real title available?)
• Combinatory logic. Vol. II
• Combinatory logic. With two sections by William Craig.

Cited in

(7)

• An elementary proof of the normalization theorem for \(\beta\eta\)-reduction
• Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness
• Extensionality in \(CL\xi_w\)
• Fundamental theorems of extensional untyped -calculus revisited
• Nondeterministic extensions of untyped \(\lambda\)-calculus
• scientific article; zbMATH DE number 2044492 (Why is no real title available?)
• scientific article; zbMATH DE number 7340562 (Why is no real title available?)

This page was built for publication: New proofs of important theorems of untyped extensional \(\lambda\) calculus

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