Pages that link to "Item:Q1350516"
From MaRDI portal
The following pages link to Equational programming in \(\lambda\)-calculus via SL-systems. Part 1 (Q1350516):
Displaying 7 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)
- Equational programming in \(\lambda\)-calculus via SL-systems. Part 2 (Q1350518) (← links)
- Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear λ-Calculus (Q3527290) (← links)
- An interpreter for slips—An applicative language based on LAMBDA-Calculus (Q3719792) (← links)
- REGULAR SYSTEMS OF EQUATIONS IN λ-CALCULUS (Q3978457) (← links)
- System F i (Q5300891) (← links)