@MISC{POSET_1.MIZ,
  AUTHOR = {Ishida, Kazuhisa and Shidama, Yasunari},
  TITLE = {Fix-point Theorem for Continuous Functions
    on Chain-complete Posets},
  SECTION1 = {Monotone Functions, Chain and Chain-complete Posets},
  SECTION2 = {Fix-point Theorem for Continuous Function
    on Chain-complete Posets},
  SECTION3 = {Function Space of Continuous Functions
    on Chain-complete Posets},
  SECTION4 = {Continuity of Fix-point Function
    from $ConPoset(P,P)$ into $P$},
  DAY = {10},
  MONTH = {November},
  YEAR = {2009},
  ADDRESS1 = {Neyagawa-shi, Osaka, Japan},
  ADDRESS2 = {Shinshu University, Nagano, Japan},
  SUMMARY = {This text includes definition of
    chain-complete poset, fix-point theorem on it,
    and definition of the function space of
    continuous functions on chain-complete posets
    \cite{Winskel:1993}.}}

@BOOK{Winskel:1993,
 AUTHOR={Glynn Winskel},
 TITLE={The Formal Semantics of Programming Languages},
 PUBLISHER={The MIT Press},
 YEAR=1993}
