Transformation Algebras
From MaRDI portal
Publication:5678849
DOI10.4153/CJM-1961-049-1zbMath0263.02027OpenAlexW4239739328MaRDI QIDQ5678849
Publication date: 1961
Published in: Canadian Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.4153/cjm-1961-049-1
Related Items (6)
Lambda abstraction algebras: representation theorems ⋮ Cylindric Algebras and Algebras of Substitutions ⋮ The Polyadic Completion of a Transformation Algebra ⋮ A finite equational axiomatization of the functional algebras for the lambda calculus ⋮ Polyadic algebras with terms: A signature-free approach ⋮ On the algebraic models of lambda calculus
This page was built for publication: Transformation Algebras