Boolean Algebras for Lambda Calculus.

Giulio Manzonetto Antonino Salibra

Published in: LICS (2006)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
complex objects
program understanding
higher order
database systems
pairwise
open source
eye tracking