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

by Can
Venue:In Proceedings of the Third Annual Symposium on Logic in Computer Science