Boolean algebras for lambda calculus (2006)

by G Manzonetto, A Salibra
Venue:In 21th IEEE Symposium on Logic in Computer Science (LICS 2006