scientific article; zbMATH DE number 1333619

zbMath0925.03091MaRDI QIDQ4260394

Ilya Beylin, Zinovy Diskin

Publication date: 19 September 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Combinatory logic and lambda calculus (03B40)

Related Items

The abstract variable-binding calculus ⋮ Lambda abstraction algebras: representation theorems ⋮ A finite equational axiomatization of the functional algebras for the lambda calculus ⋮ On the algebraic models of lambda calculus