Equational programming in -calculus via SL-systems. Part 2

DOI10.1016/0304-3975(95)00106-9MaRDI QIDQ1350518zbMATH OpenOpenAlexFDO

Authors 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

functional programming\(\lambda\)-calculusequational 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)

Recommendations

• Equational programming in -calculus via SL-systems. Part 1
• REGULAR SYSTEMS OF EQUATIONS IN λ-CALCULUS
• About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus
• scientific article; zbMATH DE number 4123701
• scientific article; zbMATH DE number 4170894

Cites work

• scientific article; zbMATH DE number 3875232 (Why is no real title available?)
• scientific article; zbMATH DE number 4123701 (Why is no real title available?)
• About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus
• Equational programming in -calculus via SL-systems. Part 1
• REGULAR SYSTEMS OF EQUATIONS IN λ-CALCULUS

Cited in

(4)

• About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus
• The \$-calculus process algebra for problem solving: A paradigmatic shift in handling hard computational problems
• Equational programming in -calculus via SL-systems. Part 1
• An interpreter for slips—An applicative language based on LAMBDA-Calculus

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

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