Kawai, Tatsuji, Japan Advanced Institute of Science and Technology, Japan

• Vol 9 (2017) - Articles
  A point-free characterisation of Bishop locally compact metric spaces
  Abstract  C2. [PDF]
• Vol 9 (2017) - Articles
  Point-free characterisation of Bishop compact metric spaces
  Abstract  5. [PDF]
• Vol 11 (2019) - Articles
  Principles of bar induction and continuity on Baire space
  Abstract  FT3. [PDF]