@MISC{WAYBEL_2.MIZ,
  AUTHOR = {Korni{\l}owicz, Artur},
  TITLE = {Meet -- Continuous Lattices},
  NOTE = {This work was partially supported by
   Office of Naval Research Grant N00014-95-1-1336.},
  SECTION1 = {Preliminaries},
  SECTION2 = {The properties of nets},
  SECTION3 = {On the inf and sup operation},
  SECTION4 = {Meet-continuous lattices},
  DAY = {10},
  MONTH = {October},
  YEAR = {1996},
  ADDRESS1 = {Institute of Mathematics\\Warsaw University\\Bia{\l}ystok},
  SUMMARY = {The aim of this work is the formalization of Chapter 0 Section 4
   of \cite{CCL}. In this paper the definition of meet-continuous lattices
   is introduced. Theorem 4.2 and Remark 4.3 are proved.}}

