Pages that link to "Item:Q3978457"
From MaRDI portal
The following pages link to REGULAR SYSTEMS OF EQUATIONS IN λ-CALCULUS (Q3978457):
Displaying 7 items.
- About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus (Q752684) (← links)
- Quantitative theorems for regular systems of equations (Q1108271) (← links)
- An algebraic view of the Böhm-out technique (Q1275631) (← 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)
- (Q5718715) (← links)