Boolean algebras for lambda calculus, in (2006)

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