scientific article; zbMATH DE number 149520

MaRDI QIDQ4032312zbMATH OpenFDO

Authors Małgorzata Madry

Publication date 1 April 1993

zbMATH Keywords

algorithmtyped lambda calculus\(\lambda\)- representable functions\(\lambda\)-definable function\(\lambda\)-languages over function-types between algebras

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 475247
• scientific article; zbMATH DE number 445159
• A characterization of lambda definable tree operations
• Word operation definable in the typed -calculus
• Lambda-representable functions over term algebras

Cited in

(12)

• Recognizability in the Simply Typed Lambda-Calculus
• Lambda-representable functions over term algebras
• How many numbers can a lambda-term contain?
• Typed representation of objects by functions
• scientific article; zbMATH DE number 847763 (Why is no real title available?)
• scientific article; zbMATH DE number 2079020 (Why is no real title available?)
• scientific article; zbMATH DE number 4099256 (Why is no real title available?)
• scientific article; zbMATH DE number 176211 (Why is no real title available?)
• scientific article; zbMATH DE number 475247 (Why is no real title available?)
• A characterization of lambda definable tree operations
• Word operation definable in the typed -calculus
• A characterization of lambda-terms transforming numerals

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