Conflicting accounts of \(\lambda\)-definability

DOI10.1016/j.jlamp.2016.11.001zbMath1403.03020OpenAlexW2558783835MaRDI QIDQ511925

C. Barry Jay, José 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)

Related Items (2)

Self-quotation in a typed, intensional lambda-calculus ⋮ Intensional computation with higher-order functions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Programs as data structures in \(\lambda\)SF-calculus
• A combinatory account of internal structure
• First-class patterns
• Pattern Calculus

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