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

by B Bloom
Venue:In Proceedings 3rd LICS