%0 Journal Article
%T Fixpoint Theorem for Continuous Functions on Chain-Complete Posets
%A Kazuhisa Ishida
%A Yasunari Shidama
%J Formalized Mathematics
%@ 1898-9934
%D 2010
%I 
%R 10.2478/v10037-010-0006-x
%X This text includes the definition of chain-complete poset, fix-point theorem on it, and the definition of the function space of continuous functions on chain-complete posets [10].
%U http://versita.metapress.com/content/xp74621551113541/?p=61b23553b62540b9a78312c2f3ea4bb9&pi=5