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

by B Bloom
Venue:Information and Computation