Pages that link to "Item:Q1129261"

The following pages link to Enlargements of functional algebras for the lambda calculus (Q1129261):

Displaying 2 items.

• A finite equational axiomatization of the functional algebras for the lambda calculus (Q1283777) (← links)
• On the algebraic models of lambda calculus (Q1583488) (← links)