The following pages link to (Q4068081):
Displayed 12 items.
- On sets of solutions to combinator equations (Q582274) (← links)
- About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus (Q752684) (← links)
- Expressive power of typed and type-free programming languages (Q761790) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Invertible terms in the lambda calculus (Q1145689) (← links)
- Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus (Q1242896) (← links)
- A discrimination algorithm inside \(\lambda -\beta\)-calculus (Q1257009) (← links)
- An algebraic view of the Böhm-out technique (Q1275631) (← links)
- Equational programming in \(\lambda\)-calculus via SL-systems. Part 1 (Q1350516) (← links)
- (Q3674617) (← links)
- (Q3869322) (← links)
- Encoding many-valued logic in $\lambda$-calculus (Q5009711) (← links)