"Boolean Algebras for Lambda Calculus."

Giulio Manzonetto, Antonino Salibra (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics