Bard Bloom. Can LCF be Topped? Flat Lattice Models of Typed lambda-Calculus. Inf. Comput., 87(1/2):263-300, July/August 1990.
@article{Bloom90, title = {Can LCF be Topped? Flat Lattice Models of Typed lambda-Calculus}, author = {Bard Bloom}, year = {1990}, month = {July/August}, researchr = {https://researchr.org/publication/Bloom90}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {87}, number = {1/2}, pages = {263-300}, }