About systems of equations, X-separability, and left-invertibility in the -calculus

DOI10.1016/0890-5401(91)90057-9MaRDI QIDQ752684zbMATH OpenOpenAlexFDO

Authors Enrico Tronci, Corrado Böhm

Publication date 1991

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0890-5401(91)90057-9

zbMATH Keywords

solvability of systems of equations in lambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 4123701
• Equational programming in -calculus via SL-systems. Part 1
• Equational programming in -calculus via SL-systems. Part 2
• REGULAR SYSTEMS OF EQUATIONS IN λ-CALCULUS
• scientific article; zbMATH DE number 3928339

Cites work

• scientific article; zbMATH DE number 3875232 (Why is no real title available?)
• scientific article; zbMATH DE number 3827824 (Why is no real title available?)
• scientific article; zbMATH DE number 4037157 (Why is no real title available?)
• scientific article; zbMATH DE number 4085616 (Why is no real title available?)
• scientific article; zbMATH DE number 3485195 (Why is no real title available?)
• scientific article; zbMATH DE number 3611324 (Why is no real title available?)
• A discrimination algorithm inside --calculus
• Characterization of normal forms possessing inverse in the - --calculus
• Combinatory logic. With two sections by William Craig.
• Invertible terms in the lambda calculus

Cited in

(2)

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

This page was built for publication: About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus

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