scientific article
From MaRDI portal
Publication:3824285
zbMath0672.03005MaRDI QIDQ3824285
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Boolean operationslambda-definabilitytyped \(\lambda \) -calculusrepresentation ofhigher-order Boolean functionals
Related Items
A functional computation model for the duality of two-variable lambda-Boolean functions, \(\lambda\)-definability of free algebras