Conflicting accounts of -definability

DOI10.1016/J.JLAMP.2016.11.001MaRDI QIDQ511925zbMATH OpenOpenAlexFDO

Authors Barry Jay, J. David Vergara

Publication date 22 February 2017

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlamp.2016.11.001

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• On \(\lambda\)-definability of arithmetical functions with indeterminate values of arguments
• On \(\lambda \)-definable functions on ordinals
• On non-classical theory of computability
• Theoretical Pearls:Representing ‘undefined’ in lambda calculus
• scientific article; zbMATH DE number 7178020

Cites work

• scientific article; zbMATH DE number 1722656 (Why is no real title available?)
• scientific article; zbMATH DE number 6148924 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A combinatory account of internal structure
• First-class patterns
• Pattern Calculus
• Programs as data structures in \(\lambda\)SF-calculus

Cited in

(7)

• On \(\lambda \)-definable functions on ordinals
• Intensional computation with higher-order functions
• On non-classical theory of computability
• scientific article; zbMATH DE number 6792351 (Why is no real title available?)
• Self-quotation in a typed, intensional lambda-calculus
• Mutual definability does not imply definitional equivalence, a simple example
• On \(\lambda\)-definability of arithmetical functions with indeterminate values of arguments

This page was built for publication: Conflicting accounts of \(\lambda\)-definability

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