@Article{huth94f,
  author = 	{M. Huth and A. Jung and K. Keimel},
  title = 	{Linear types and approximation},
  journal = 	{Mathematical Structures in Computer Science},
  volume = 	10,
  number = 	6,
  pages = 	{719--746},
  publisher = 	{Cambridge University Press},
  year = 	2000,
  abstract = 	{We study continuous lattices with maps which preserve all 
                 suprema rather than only directed ones. We introduce the 
                 (full) subcategory of FS-lattices which turns out to be 
                 $*$-autonomous, and in fact maximal with this property. 
                 FS-lattices are studied in the presence of distributivity 
                 and algebraicity. The theory is extremely rich with numerous
                 connections to classical Domain Theory, complete
                 distributivity, Topology, and models of Linear Logic.}
}