@inproceeding{manzosali06,
  author = {Manzonetto Giulio and Salibra Antonino},
  title = {Boolean algebras for lambda calculus},
  booktitle = {Proc. 21th {IEEE} Symposium on Logic in Computer Science ({LICS} 2006)},
  pages = {139-148},
  year = {2006},
  pdf = {http://www.dsi.unive.it/~gmanzone/papers/manzosali2006.pdf},
}