Lambda-representable functions over term algebras

DOI10.1142/S0129054101000394MaRDI QIDQ5249246zbMATH OpenOpenAlexFDO

Authors Masako Takahashi

Publication date 30 April 2015

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0129054101000394

zbMATH Keywords

term algebrasrecursion-theoretic characterizationfree structuresrecursive word functions\(\lambda_{\to}\)-representable functions

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18) Recursive functions and relations, subrecursive hierarchies (03D20)

Recommendations

• scientific article; zbMATH DE number 149520
• Theoretical Pearls:Representing ‘undefined’ in lambda calculus
• scientific article; zbMATH DE number 2079020
• Word operation definable in the typed -calculus
• scientific article; zbMATH DE number 176211

Cites work

• A formulation of the simple theory of types
• A new recursion-theoretic characterization of the polytime functions
• Automatic synthesis of typed -programs on term algebras
• Definierbare Funktionen imλ-Kalkül mit Typen
• Functions over free algebras definable in the simply typed lambda calculus
• Rekursive Wortfunktionen
• The typed lambda-calculus is not elementary recursive
• Word operation definable in the typed -calculus
• \(\lambda\)-definability of free algebras

Cited in

(9)

• A generalization of the lambda algebra
• On the representation of semigroups and other congruences in the lambda calculus
• scientific article; zbMATH DE number 149520 (Why is no real title available?)
• scientific article; zbMATH DE number 2079020 (Why is no real title available?)
• scientific article; zbMATH DE number 176211 (Why is no real title available?)
• scientific article; zbMATH DE number 1333616 (Why is no real title available?)
• scientific article; zbMATH DE number 3837991 (Why is no real title available?)
• A characterization of lambda definable tree operations
• Word operation definable in the typed -calculus

This page was built for publication: Lambda-representable functions over term algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5249246)