Extensionality in CL_w

MaRDI QIDQ3414935zbMATH OpenFDO

Authors Ji'an Wang

Publication date 12 January 2007

zbMATH Keywords

abstractioncombinatory logiclambda-calculusextensionality

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

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

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)