Pages that link to "Item:Q1350518"
From MaRDI portal
The following pages link to Equational programming in \(\lambda\)-calculus via SL-systems. Part 2 (Q1350518):
Displaying 5 items.
- About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus (Q752684) (← links)
- Equational programming in \(\lambda\)-calculus via SL-systems. Part 1 (Q1350516) (← links)
- The \$-calculus process algebra for problem solving: A paradigmatic shift in handling hard computational problems (Q2383594) (← links)
- An interpreter for slips—An applicative language based on LAMBDA-Calculus (Q3719792) (← links)
- REGULAR SYSTEMS OF EQUATIONS IN λ-CALCULUS (Q3978457) (← links)