lambda-Definability on Free Algebras.

Published in: Ann. Pure Appl. Log. (1991)

Keyphrases

fixed point
propositional logic
distributive lattices
data sets
three dimensional
lower bound
expert systems
relational databases
sufficient conditions
spatial reasoning
boolean algebra
topological spaces
lambda calculus