The following pages link to (Q4011732):
Displaying 8 items.
- Lambda abstraction algebras: representation theorems (Q674002) (← links)
- A finite equational axiomatization of the functional algebras for the lambda calculus (Q1283777) (← links)
- On the algebraic models of lambda calculus (Q1583488) (← links)
- The abstract variable-binding calculus (Q1896759) (← links)
- Finitary polyadic algebras from cylindric algebras (Q2462668) (← links)
- (Q3509173) (← links)
- (Q5127336) (← links)
- (Q5144649) (← links)