To -define the computable functions without the fixed point operators

MaRDI QIDQ5293569zbMATH OpenFDO

Authors Jingan Dai, Fangmin Song

Publication date 2 July 2007

zbMATH Keywords

computable functionsfixed-point combinatorslambda-calculus

Mathematics Subject Classification ID

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

Recommendations

• Fixed points in lambda calculus. an eccentric survey of problems and solutions
• On the \(\lambda Y\) calculus
• Theoretical Pearls:Representing ‘undefined’ in lambda calculus
• An Introduction to the Lambda Calculus
• scientific article; zbMATH DE number 2186938

Cited in

(2)

• Fixed points in lambda calculus. an eccentric survey of problems and solutions
• Ellipses and lambda definability

This page was built for publication: To \(\lambda\)-define the computable functions without the fixed point operators

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