The Real Vector Spaces of Finite Sequences are Finite Dimensional
Nakamura, Yatsuka, Korniłowicz, Artur, Oya, Nagato, Shidama, Yasunari
Definition of Flat Poset and Existence Theorems for Recursive Call
Ishida, Kazuhisa, Shidama, Yasunari, Grabowski, Adam
Bidual Spaces and Reflexivity of Real Normed Spaces
Narita, Keiko, Endou, Noboru, Shidama, Yasunari