The following pages link to (Q4260390):
Displaying 11 items.
- Lambda abstraction algebras: representation theorems (Q674002) (← links)
- On an invariant-theoretic description of the lambda algebra (Q817051) (← links)
- A generalization of the lambda algebra (Q1066519) (← links)
- Enlargements of functional algebras for the lambda calculus (Q1129261) (← 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)
- Applying Universal Algebra to Lambda Calculus (Q3583100) (← links)
- (Q4217595) (← links)
- A Mathematical Life (Q4586411) (← links)
- (Q4835611) (← links)