Extensionality in CL_w

zbMATH Open1111.03313MaRDI QIDQ3414935FDOQ3414935

Authors: Ji'an Wang 

Publication date: 12 January 2007

Recommendations

• Some results on extensionality in lambda calculus
• New proofs of important theorems of untyped extensional \(\lambda\) calculus
• On structure and extensionality of fixed-point combinators in CL\(w\)
• scientific article; zbMATH DE number 1159511
• Weak logic theory

zbMATH Keywords

abstractioncombinatory logiclambda-calculusextensionality

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

This page was built for publication: Extensionality in \(CL\xi_w\)

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