Uniform Boundedness Principle
Sakurai, Hideki, Kunimune, Hisayoshi, Shidama, Yasunari
Fixpoint Theorem for Continuous Functions on Chain-Complete Posets
Ishida, Kazuhisa, Shidama, Yasunari
The Orthogonal Projection and the Riesz Representation Theorem
Narita, Keiko, Endou, Noboru, Shidama, Yasunari