Boolean Algebras for Lambda Calculus.

Giulio Manzonetto, Antonino Salibra

Browse the full LICS paper archive.