Pages that link to "Item:Q3956941"

The following pages link to Axiomatization of polynomial substitution algebras (Q3956941):

Displaying 8 items.

• Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras (Q535110) (← links)
• Lambda abstraction algebras: representation theorems (Q674002) (← links)
• Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties (Q878147) (← links)
• Capture-avoiding substitution as a nominal algebra (Q939160) (← links)
• A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets (Q1006642) (← links)
• A finite equational axiomatization of the functional algebras for the lambda calculus (Q1283777) (← links)
• On the algebraic models of lambda calculus (Q1583488) (← links)
• Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms (Q1778066) (← links)