The following pages link to (Q4835611):
Displaying 9 items.
- Lambda abstraction algebras: representation theorems (Q674002) (← 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)
- Easiness in graph models (Q2368937) (← links)
- (Q4217595) (← links)
- (Q4260390) (← links)
- A Mathematical Life (Q4586411) (← links)