scientific article; zbMATH DE number 2079020

MaRDI QIDQ4474832zbMATH OpenFDO

Authors Marek Zaionc

Publication date 21 July 2004

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• \(\lambda\)-definability of free algebras
• Lambda-representable functions over term algebras
• scientific article; zbMATH DE number 149520
• Word operation definable in the typed -calculus
• scientific article; zbMATH DE number 17832

Cited in

(6)

• A generalization of the lambda algebra
• Lambda-representable functions over term algebras
• scientific article; zbMATH DE number 17832 (Why is no real title available?)
• Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered
• A notation for lambda terms. A generalization of environments
• scientific article; zbMATH DE number 1333616 (Why is no real title available?)

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