Pages that link to "Item:Q4260390"

The following pages link to (Q4260390):

Displaying 5 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)
• A Mathematical Life (Q4586411) (← links)