Scott, D., "Data Types as Lattices", SIAM J.Comput 5, pp.523-587, (1976).

Languages mentioned

• LAMBDA {1971}