Can LCF Be Topped? Flat Lattice models of Typed Lambda Calculus (Preliminary Report)

Bard Bloom

Browse the full LICS paper archive.