scientific article; zbMATH DE number 2079020

zbMATH Open1044.03512MaRDI QIDQ4474832FDOQ4474832

Authors: Marek Zaionc 

Publication date: 21 July 2004

Title of this publication is not available (Why is that?)

Recommendations

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited In (6)

• Lambda-representable functions over term algebras
• A generalization of the lambda algebra
• Title not available (Why is that?)
• Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered
• A notation for lambda terms. A generalization of environments
• Title not available (Why is that?)

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)