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

DOI10.1016/0890-5401(91)90057-9zbMATH Open0716.03003OpenAlexW2031304364MaRDI QIDQ752684FDOQ752684

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

Recommendations

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

zbMATH Keywords

solvability of systems of equations in lambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cites Work

• Combinatory logic. With two sections by William Craig.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Invertible terms in the lambda calculus
• Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus
• A discrimination algorithm inside \(\lambda -\beta\)-calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Equational programming in \(\lambda\)-calculus via SL-systems. Part 1
• Equational programming in \(\lambda\)-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)