The following pages link to (Q3837997):
Displaying 9 items.
- A finite equational axiomatization of the functional algebras for the lambda calculus (Q1283777) (← links)
- On the algebraic models of lambda calculus (Q1583488) (← links)
- Extending Abramsky's lazy lambda calculus: (non)-conservativity of embeddings (Q2958387) (← links)
- (Q4217595) (← links)
- (Q4260390) (← links)
- A Mathematical Life (Q4586411) (← links)
- Boolean product representations of algebras via binary polynomials (Q4586422) (← links)
- (Q4835611) (← links)
- Towards Lambda Calculus Order-Incompleteness (Q4916175) (← links)