scientific article; zbMATH DE number 1333616

zbMath0925.03087MaRDI QIDQ4260390

Antonino Salibra, Don Pigozzi

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 (5)

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

This page was built for publication: