Can LCF be topped? at lattice models of typed lambda calculus (1988)

by B Bloom
Venue:In Proceedings of the third Symposium on LICS. Computer