The following pages link to (Q4204131):
Displaying 8 items.
- About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus (Q752684) (← links)
- An analysis of Böhm's theorem (Q1314351) (← links)
- Equational programming in \(\lambda\)-calculus via SL-systems. Part 1 (Q1350516) (← links)
- Equational programming in \(\lambda\)-calculus via SL-systems. Part 2 (Q1350518) (← links)
- The classical \(\lambda\)-calculus characteristics and their application for the effective outcome of the logic equations (Q2745139) (← links)
- Extreme solutions of equations (Q3801052) (← links)
- REGULAR SYSTEMS OF EQUATIONS IN λ-CALCULUS (Q3978457) (← links)
- (Q4369843) (← links)
