scientific article; zbMATH DE number 4099256

MaRDI QIDQ3824285zbMATH OpenFDO

Authors Marek Zaionc

Publication date 1989

zbMATH Keywords

Boolean operationshigher-order Boolean functionalslambda-definabilityrepresentation oftyped \(\lambda \) -calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Many-valued logic (03B50)

Recommendations

• scientific article; zbMATH DE number 4070860
• Word operation definable in the typed -calculus
• scientific article; zbMATH DE number 1443050
• scientific article; zbMATH DE number 17832
• scientific article; zbMATH DE number 149520

Cited in

(5)

• A transfinite Knuth-Bendix order for lambda-free higher-order terms
• scientific article; zbMATH DE number 4070860 (Why is no real title available?)
• Encoding many-valued logic in \lambda-calculus
• \(\lambda\)-definability of free algebras
• A functional computation model for the duality of two-variable lambda-Boolean functions

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 Q3824285)