scientific article; zbMATH DE number 149520

zbMATH Open0761.03008MaRDI QIDQ4032312FDOQ4032312

Authors: Małgorzata Madry 

Publication date: 1 April 1993

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

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 \(\lambda\)-calculus
• Lambda-representable functions over term algebras

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)

Cited In (12)

• Lambda-representable functions over term algebras
• How many numbers can a lambda-term contain?
• Typed representation of objects by functions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A characterization of lambda definable tree operations
• Word operation definable in the typed \(\lambda\)-calculus
• A characterization of lambda-terms transforming numerals
• Recognizability in the Simply Typed Lambda-Calculus

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)