@MISC{WAYBEL27.MIZ,
  AUTHOR = {Bancerek, Grzegorz and Naumowicz, Adam},
  TITLE = {Function Spaces in the Category of Directed Suprema Preserving Maps},
  NOTE = {This work has been supported by KBN Grant 8 T11C 018 12.},
  SECTION1 = {Currying, Uncurrying and Commuting Functions},
  SECTION2 = {Maps of Power Posets},
  SECTION3 = {Posets of Directed Suprema Preserving Maps},
  DAY = {26},
  MONTH = {November},
  YEAR = {1999},
  ADDRESS1 = {University of Bia{\l}ystok},
  ADDRESS2 = {University of Bia{\l}ystok},
  SUMMARY = {Formalization of \cite[pp. 115--117]{ccl},
chapter II, section 2 (2.5 -- 2.10).}}

