Can LCF be topped? Flat lattice models of typed λ-calculus (1990)

by B Bloom
Venue:Information and Computation