scientific article; zbMATH DE number 1222100

zbMath0940.03071MaRDI QIDQ4217595

Robert Goldblatt

Publication date: 24 July 2000

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

zbMATH Keywords

\(\lambda\)-calculusfunctional domainfunctional algebras\(\lambda\)-abstraction algebras

Mathematics Subject Classification ID

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

Related Items

Enlargements of functional algebras for the lambda calculus ⋮ A finite equational axiomatization of the functional algebras for the lambda calculus ⋮ On the algebraic models of lambda calculus