Equational programming in \(\lambda\)-calculus via SL-systems. Part 2

DOI10.1016/0304-3975(95)00106-9zbMath0872.68012OpenAlexW4213129303MaRDI QIDQ1350518

Enrico Tronci

Publication date: 27 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(95)00106-9

zbMATH Keywords

\(\lambda\)-calculusfunctional programmingequational programmingautomated synthesis of programssystems of equations in the \(\lambda\)-calculus

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Equational programming in \(\lambda\)-calculus via SL-systems. Part 1

Cites Work

• About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus
• Equational programming in \(\lambda\)-calculus via SL-systems. Part 1
• REGULAR SYSTEMS OF EQUATIONS IN λ-CALCULUS
• Unnamed Item
• Unnamed Item

This page was built for publication: Equational programming in \(\lambda\)-calculus via SL-systems. Part 2