Boolean algebras for lambda calculus (2006)

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